public Set<Type> introducedTypes(){
  return Collections.emptySet();
}

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