debugging
update graal
refactor a bit
state generalization for loops. have code motion issues
lambda lift
reorg slightly
use expect
some more checks