ensure to require survival package if getTaskFormulaAsString is used