Modified matching to use Term_ast
Added missing comment