Update test of Tptp_prob.model_to_tptp with domain size
Fix handling of TPTP includes with formula selection