Split function E_Dot_eval. Make sure there are no matching "eval1.*-1" in the developer output of any Go test.