updated tool proof_check_tstp