fix for the fix: Only propagate constants which are not null, otherwise you get a null_type in the type hierarchy
added an assertion