Solved a matching issue due to hashconsing and contexts using binded variables
It is maybe temporary but it works as expected