Removing decompose record / sum from the tactic AST.