Refactoring around the val_[to|of]_* functions
This MR introduces the following changes:
- Simplification of
val_[to|of]_locusing anEqDecisioninstance formbyte. - Renaming of the
val_[to|of]_intfunctions intoval_[to|of]_Z.
@paulzhu you may need to adapt your code with the latter (this can be easily done with sed, see the commit message).
Edited by Rodolphe Lepigre