Backwards execution is now possible for procedures with local variables.