Less strict concept check in checkPredicate