Add `dedukti-step-before'