TRIV: Alignment of help message for rg
TEST: one realizability and one synth regression test ALL_INIT