Improved exception message for unmet transition conditions.