handle subets of types in error propagation.
E.g., TimingError agaisnt constraint EarlyDelivery should at least
propagate EarlyDelivery.
added method to print propagation paths. Used for debugging.
Merge remote-tracking branch 'origin/develop' into develop