Fixed canonicalization bug for Predicate type