Если на входе процедура D выделила место для своих переменных и скопировала SP в BP, далее процедура B или C сохранила в стеке BP от процедуры D, и точно так же выделила место для своих переменных, то если теперь вызать процедуру A, она не будет знать из B или C её вызвали, и где искать BP от процедуры D, чтобы добраться до её локальных переменных. Каким образом это можно подсчитать во время компиляции?!