For other CodeQL resources, including tutorials and examples, see Learning CodeQL
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)