Adding a simple forward reasoning tactic.