Documentation

run removes unused variables in given programs.

This also removes variables for recursion, i.e. "rec" flags. ToplevelLetRec may becomes ToplevelLet.

For example, this converts

let rec solve x =
    let y = 0
    in x
in solve

to

let solve x =
    x
in solve