Optlang: Start defining the property for optimisation