segmentation fault with choco/feasTestConstraint

[Victor]

Hi,
I've been getting segmentation fault with the constraint of type choco/
feasTestContraint. Every time that I want to embed the constraint into
another constraint the solver halts printing segmentation fault on the
screen. Below you can see an example:

ctest := choco/feasTestConstraint(lIntVar,newMethod @ list),
ctr := choco/ifThen(ctest,c1)
in (
choco/post(pb,ctr),

If I post only the ctest constraint it works fine. I've uploaded to
the group a version of silly_file.cl that includes this problem.

Hope someone can help me on that.

Thanks,

Victor