[quesebifurcan]

have a look at: https://github.com/Frege/frege/tree/master/examples