added check for overlap in error propagation types and error containment
types.