Move the above line to 592, then it is clear that posP and posR are only used in the ASSERT