Make the compiler internal predicate that checks for a class deterministic