いろいろ変な事にならないのかは気になるけど、型が壊れない範囲でBasicBlockの中のinstructionを差し替えてるだけだから、うまく動くって感じですかねえ