Renamed mk_subterm to mk_subterm_unsafe. Added new version of mk_subterm which checks for sanity of its arguments.
Renamed mk_subterm to mk_subterm_unsafe.
Added new version of mk_subterm which checks for sanity of its arguments.

mwb-cde/hseq-prover