HaRe-0.6: StrategyLib-4.0-beta/examples/joos-rule02/testsuite/extract-wrong-assign.correct
Program [ClassDecl False "Statement" "Object" [] (ConstructorDecl "Statement" (Formals []) (Arguments []) (Block [] [Skip])) [MethodDecl Nothing "printOwning" (Formals [Formal (Type "double") "amount"]) (Block [VarDecl (Type "double") "foo"] [MethodInvocationStat (ExpressionInvocation This "printBanner" (Arguments [])),StatementFocus (BlockStat (Block [] [AssignmentStat (Assignment "foo" (Literal (StringLit "foo"))),MethodInvocationStat (ExpressionInvocation (Identifier "System_out") "println" (Arguments [InfixExpr (Literal (StringLit "name:")) PLUS (Identifier "_name")])),MethodInvocationStat (ExpressionInvocation (Identifier "System_out") "println" (Arguments [InfixExpr (Literal (StringLit "amount")) PLUS (Identifier "amount")]))]))])]] (Block [] [])