Added MismatchingPredicates heuristic.  It does not matter if the heuristic is
inverted, so I think something is wrong with astar...