Conservatively model those effects as "destroy" effects.
var Function.instructions
Type.isNonTrivialOrContainsRawPointer
Type.isTrivialNonPointer
assert