Further improve c4-calls-1 test case.
Refactor GeneralFormationMatcher to better handle phantoms in input formation.
Improve ambiguity check in GeneralFormationMatcher.

Refactor to remove a bunch of redundant code to create the 'eq0' set.
Just check once when validating a match that this formation hasn't
already been covered by an earlier match.