WIP: `Task.add_decl` should not necessary fail if task already has a goal
This is done using an optional argument. If this argument is set,
add_decl
does simply retuens the task unchanged
This is done using an optional argument. If this argument is set,
add_decl
does simply retuens the task unchanged