more tests for ast/z3
more tests for ast/z3

jonathanmarvens/jeeves,BambooL/jeeves,jeanqasaur/jeeves,jonathanmarvens/jeeves,jonathanmarvens/jeeves,BambooL/jeeves,jonathanmarvens/jeeves,BambooL/jeeves,BambooL/jeeves