RDDLConstraints does not parse constraints involving literals

[mike-gimelfarb]

RDDLConstraints cannot parse constraints such as

some-fluent(@o) > bound

when the type of @o contains multiple objects, since they all get assigned the same lower bound bound.

[mike-gimelfarb]

This issue will be fixed by merging the v2-branch into main.

[mike-gimelfarb]

After careful investigation, the issue still remains. For example, using forall_{?x : obj, ?y : obj2} fluent(?x) >= non-fluent(?x, ?y) with the redundant ?y in l.h.s. causes the parsing to fail!

[mike-gimelfarb]

Was the above case resolved with the new commits? I think to definitely solve this, the _map function from the compiler's tracer will need to be employed here, as that function covers every single case of mapping objects between two parameterized expressions.