Progress on actions

QT4CG-143-02: MK to try to recover the ability to extract formal equivalences into tests

- no progress

QT4CG-167-05: MK to write a proposal to change #2393 so the functions return JNodes

- relates to array:members and array:of-members

- completed by PR2814

QT4CG-174-01: MK to make an issue or otherwise address CG’s comments on #2734.

- relates to the set of expressions that are deemed "navigational"

- I think CG did this in issue 2819, which was resolved by PR2856

QT4CG-176-02: MK to refine the strip-space option so that it takes account of historical defaults.

- Created issue 2883