An explicit continuation-call stack is now used

Previously, only one continuation was used but this is problematic for complex traces where several traces can call eachother