Fix LNE loopification implementation
Loopify before heap checks
Move SelfInfo to reader monad