question: public Set < Type > introducedTypes ( ) { return Collections . emptySet ( ) ; }
target:  Return the types that are be introduced by this instruction. Instructions that may introduce types should override this.