created the Logic package to separate the notion of predicate and sequent from the prover infrastructure and remove some cycles in the dependencies between UnitB and Z3