fixed bug in abstract machine implementation for IMP (missing leq rule); transitive closure