search goal in context

I implemented a very simple search of the goal in the context.