For an overview of this library, along with tutorials and examples, see CodeQL for C/C++
If the instruction specified by tag has a result of type UnknownType,
gets the size of the result in bytes. If the result does not have a knonwn
constant size, this predicate does not hold.
int getInstructionResultSize(InstructionTag tag)