Redex positions

With the Redexes command, one may get the redexes positions (according to the current TRS) of the current term.