Updated hashconsing binders consistency