Added constraints and sub-goals for the Socks in the Dark problem