Optlang: More sensible definition for RANGE
Optlang: Prove optl_run determinacy