assignVariableStackOffset just makes sure, that every single local variable has a defined stack position for the rest of its scope! If we are within a function that has multiple return values, this offset needs to be one further, as we need this pointer for return values additionally.
(isMultiReturn bool)
source not stored for this graph (policy: none)
no test coverage detected