judgment-form: fix for nested metafunctions

These were being handled in the wrong order,
which sometimes makes search more difficult.
fix examples path in run-tests.rkt