[ refactor ] Generalized some instances from Elim to Elim'.
[ Issue 1386 ] Fixed by precise analysis of offending rigids in neutral
pruning candidates.
[ Issue 1386 ] Test case.
Merge branch 'maint-2.4.2'
[ Issue 1386 ] ExtLam case removed to fix merge into master.