modify Test.hs to use Normalized AST