Replaced 'muConstant' with 'muCon' in r2mu.
Towards getting value constructors through the entire
r2mu-mu2rvm-executeProgram pipeline.