Running with `mlnClause` produces a hidden `.mln` file in the output directory. This is probably a bug and should be saved as `{target}.mln` or similar.
Running with
mlnClauseproduces a hidden.mlnfile in the output directory.This is probably a bug and should be saved as
{target}.mlnor similar.