fix sat_proof "parentheses into the void" after conferring with Liana