all heap examples use z3 executable