remove deprecated API functionality · Z3Prover/z3@bea68cd

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com></nbjorner@microsoft.com>