When I try to compile Hamlet and Model-elimination with my flattener, they seem to idle in an infinite loop. Any ideas what I should be on the look out for? Luke