fix Eq[Statement] for Predicate