'Given two dictionaries of morphisms and their properties,
produces a single dictionary which includes elements from both
dictionaries.  If a morphism has some properties in premises
and also in conclusions, the properties in conclusions take
priority.'

@staticmethod
def _merge_premises_conclusions(premises, conclusions):

    return dict(chain(premises.items(), conclusions.items()))
