Changed simplify to make the arguments in function calls to be basic values
Changed simplify to make the arguments in function calls to be basic values

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c