[eclipse-clp-users] How to access ECH constraints without copying them?

Dear all,

here is another question about the ECH library:

For test purposes, e.g., unit tests, it is helpful to check the constraint
store.  chr_get_constraint/1 gets and removed one constraint from the CHR
store.  With findall(C, chr_get_constraint(C), Constraints) it is possible
to get all rules that are present without changing the CHR store.

Unfortunately, all constraints resulting from this trick have new variables,
i.e., the variables differ for each retrieval of the constraints, which
makes it hard to write unit tests in some cases.  Is there a way to access
the constraints including their original variables?

Thanks,

Ulrich