model [PredicateColoringModel]:
null