Optlang: Start changing rules to bound ref locations