translation to TPTP fixed; workaround for Windows (old version of
LADR_to_TPTP) introduced