[Truffle] Annotate some polymorphic and megamorphic nodes.