when generating proof obligations in proof_check_tstp, always take universal closure