up/constr: independent read/write and local constraints