Evaluator.initialize_clause_vars using another strategy

* Evaluator.collect_vars is incomplete and could get rather complex
* Eval a dummy case clause always matching an artificial clause first,
  running all clauses only for initializing names.