inside needs some debugging

-transitive CFG loops suck!