Remove duplicate machines for predicates