Sync TmaRhsQuatifier with generated ast.
Sync TmaRule0 with generated ast.