Ideas on the project structure

[teiesti]

*analysing
    tightness

command_line

convenience
    apply
    unbox

formatting      -> Format structs
    asp
        default
    fol
        default
        tptp

parsing         -> Parser trait
    asp
        pest
    fol
        pest

*verifying
    task        -> Task trait
    problem     -> Problem struct
    proof

simplifiying
    fol
        ht
        *classic

syntax_tree     -> Node trait
    asp
    fol

translating
    gamma
    tau_star
    *completion

Modules marked with an * do not yet exist.
The module problem_building should be renamed into verifying/problem.