Fix #12: force monotonous value functions

Enforce monotonicity in MACBETH LP