AST comparing (TODO: tests)