Make sure that the hardcoding that mutation are of value 1 not a user defined value is removed once the benchmark is debugged

[MClarke1991]