call(Goal, Key,
V1, ...) is true for all keys in the dicts. At least one of the
dicts must be instantiated.
type_error(dict, Culprit) if one of the dict arguments is not
a dict.domain_error(incompatible_dict, Culprit) if Culprit does not
have the same keys as one of the other dicts.