P13: Dynamic Constraint Detection for Polymorphic Behavior

The implementation for dynamic constraint detection examines only the declared type of a variable, lacking many constraints in the context of object-oriented programs. We extended this technique to detect constraints of object-oriented programs in the presence of polymorphism by examining the runtime type of a polymorphic variable.