main now uses a new flag, -calculus, to choose the calculus it builds an ordering from the calculus, etc.
main now uses a new flag, -calculus, to choose the calculus
it builds an ordering from the calculus, etc.

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