Variables for holding stack effect inference state
