replace incorrect MuVal configuration

[hiroshi-unno]

Replace the incorrectly registered configuration for the C Integer category of MuVal in the Integer Transition Systems category with the correct one.