Title: Search direction by goal failure in goal-oriented programming