*.beam
current_counterexample.eqc