fix in constraint enumerator and critical fix in cost min find
Minor fix in constraint enumerator
Lookahead now really finds multi-matches (when two matches only differ in local variables) if present
Fixed a bug in indexer: index PVariables are from the pattern, not the caller patterns variables - silly bug