Typo
dedukti-{back,for}ward always move the point.
Reduce selected term