deleted unused z3 function #46

Closed riadas closed 1 year ago