Abstract Machine crash on specific Input

Input:

main = let v1 = v2 ; v2 = 9 in v1;

Results in a Crash because of Non-exhaustive patterns.