Adding the A4 with serialized AST