all heap examples use z3 executable
Merge pull request #988 from andreistefanescu/master

all heap examples use z3 executable