Moved `tests/lists_eqc.erl` to `tests/my_lists_eqc.erl`