-SolverAgent now has a rudimentary control flow
-ReplyBehaviour now sends Inform-messages and tells the agent to remove it from the list of remaining tasks.