In gj_conjecture_counterexample functions, rename eps to eta to avoid clash with paper notation