added frame types in InconsistentTypeEngine