Put each Erlang module in its own Prolog module.
Test out module support.
Turn eqc_gen into a module and make prob/3 work for non-ground targets.