Change path resolution in Tptp_prob.of_file
Crossbow executable (arg. parsing + basic model search)