Bug when property explicit classes are different from the inferred from definition and this property is MATERIALIZED

[AlexKirkouski]

For example if we have CLASS A : B; f(A a) = a IS B MATERIALIZED; the behaviour is pretty unpredictable.