Parse $string as a SPARK statement from module $modname and
then conclude this statement into the knowledge base. $exprs is a list of
PredExprs that get concluded.
setSucceeded$task
Chop off any procedures and subtasks under $task and signal that
$task has succeeded.
WARNING - this does not work for top-level tasks (objectives) or
for tasks that are expected to bind variables