debugging in progress: missing reverse dynamics