class Abstractor::AbstractorAbstractionSchemaPredicateVariant