Once a goal state is found, the solver is automatically stopped.
A problem can have 0, one or more goals if it makes sense
but solver must be used accordingly.
Default: no goals
# Is the state a goal state?
# Once a goal state is found, the solver is automatically stopped.
# A problem can have 0, one or more goals if it makes sense
# but solver must be used accordingly.
# Default: no goals
funis_goal(state:S):Booldoreturnfalse