fixed tests which rely on (Show (Subst Expr))
fixes
cosmetics: module NeighborhoodAnalysis -> NAN
understanding that machines are staged interpreters