Reorder clauses for appendR #658

Job	Run time
Build and test elpi (macos-latest, 4.14.x, dev)	16m 30s
Build and test elpi (macos-latest, 4.14.x, dev)	16m 30s
Build and test elpi (macos-latest, 4.14.x, dev)	12m 16s
Build and test elpi (macos-latest, 4.08.x, dev)	9m 30s
Build and test elpi (macos-latest, 4.08.x, dev)	9m 30s
Build and test elpi (macos-latest, 4.08.x, dev)	9m 30s
Build and test elpi (ubuntu-latest, 4.14.x, dev)	5m 29s
Build and test elpi (ubuntu-latest, 4.14.x, dev)	5m 29s
Build and test elpi (ubuntu-latest, 4.14.x, dev)	5m 29s
Build and test elpi (ubuntu-latest, 4.08.x, dev)	5m 52s
Build and test elpi (ubuntu-latest, 4.08.x, dev)	5m 52s
Build and test elpi (ubuntu-latest, 4.08.x, dev)	5m 52s
Build and test elpi (windows-latest, 4.14.x, dev)	9m 5s
Build and test elpi (windows-latest, 4.14.x, dev)	9m 5s
Build and test elpi (windows-latest, 4.14.x, dev)	9m 5s
Build and test elpi (windows-latest, 4.08.x, dev)	4m 54s
Build and test elpi (windows-latest, 4.08.x, dev)	9m 22s
Build and test elpi (windows-latest, 4.08.x, dev)	9m 22s
Build and test elpi (ubuntu-latest, 5.1.x, fatalwarnings)	5m 49s
Build and test elpi (ubuntu-latest, 5.1.x, fatalwarnings)	5m 49s
Build and test elpi (ubuntu-latest, 5.1.x, fatalwarnings)	5m 49s
Aggregate and plot benchmarking data	2m 15s
Aggregate and plot benchmarking data	2m 35s
Aggregate and plot benchmarking data	40s
	3h 1m 39s

Provide feedback