Answer from cs61c-au (Robert Webb 14343043) for Question 2
If a procedure could never be called before some other call to the procedure had not returned, then we wouldn't have the same concerns about the program going into an endless loop of unconditionally calling itself.  The procedure could also access common memory without the concern that another call of itself would be changing the memory at the same time.