Replaced calls to push/pop-head-executing! and push/pop-continuation to push/pop-trace-frame!