The mechanism for transferring the JVM state from the high level IR (ideal) to the low level IR (machnodes) is somewhat limited. In the case where multiple ideal nodes mapped into one machnode, we only look for a JVM state for the root of the match. We should modify the matcher to propagate any interior JVM states up for the case where the root of the match doesn't have a state.