Make z3-expand expand inside function definitions
Make z3-expand expand inside function definitions

+ Also faster, handles multiple definitions at once

uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius,uwplse/Cassius