Added the function to cancel chainings which need an unification between constants.