Backward k-induction deactivated by default.