Rename some functions in cuter_z3

Set an easier to read and understand name