predicateColoringModel [PredicateColoringModel]:
null