load test file in .ocamlinit (to generate random terms/clauses), + json printer
load test file in .ocamlinit (to generate random terms/clauses), + json printer

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition