Fix build with Coq 8.12
Building this repository with the Coq 8.12 beta is currently broken:
File "./theories/barrier/proof.v", line 120, characters 4-58:
Error: No matching clauses for match.
Somehow, set_solver
fails to solve a goal that it was able to handle fine before. @robbertkrebbers could you look into this?