Start on an FF implementation
Checkpoint, counting possible plans after solving a goal