current_counterexample.eqc deps/ ebin/ .eunit/