Added constraints and sub-goals to the Predicting Fingers problem