Optlang: Prove properties of RANGE