Syntax of search section
The search section starts by "search {" and ends by "}". Inside the
section it is possible to declare search phases and any other objects
necessary for them (i.e. evaluators, selectors etc.). The
section can also be empty.
The following picture summarizes the syntax of the search section:
The statement "searchPhaseExpression;" adds a search phase into the fixing
strategy. Note that the order of search phases is important. The syntax of
searchPhaseExpression follows the standard expression syntax as described
here however type of the expression must be
searchPhase.
The statement "identifier: searchPhaseExpression;" is similar but also assign
the given identifier as a name to the search phase.
Finally statement "identifier=expression;" assigns a name to a given
expression so that it can be used later by that name in the search section.