Class ASTConstrainingClause