Optlang: nested_run/OCall (not saturated) progress

find right-hand argument values
Optlang: Fix some of the optl_run rules