Added soft timeout to Z3 scripts
Fixed ite parsing bug
Fixed multiple constructor induction bug