Modified the hashconsed terms
Modified tests according to new hashconsing with new tests