make productions which have distinct klabel attributes not return true on equals
temporary fix