started adding z3 node classes