Update instance PrettyAst Module and related test cases