R Under development (unstable) (2024-11-05 r87288 ucrt) -- "Unsuffered Consequences" Copyright (C) 2024 The R Foundation for Statistical Computing Platform: x86_64-w64-mingw32/x64 R is free software and comes with ABSOLUTELY NO WARRANTY. You are welcome to redistribute it under certain conditions. Type 'license()' or 'licence()' for distribution details. R is a collaborative project with many contributors. Type 'contributors()' for more information and 'citation()' on how to cite R or R packages in publications. Type 'demo()' for some demos, 'help()' for on-line help, or 'help.start()' for an HTML browser interface to help. Type 'q()' to quit R. > # This file is part of the standard setup for testthat. > # It is recommended that you do not modify it. > # > # Where should you do additional test configuration? > # Learn more about the roles of various files in: > # * https://r-pkgs.org/testing-design.html#sec-tests-files-overview > # * https://testthat.r-lib.org/articles/special-files.html > > library(testthat) > library(epicmodel) > > test_check("epicmodel") v Checking WHAT IDs was successful. v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking ICC IDs was successful. v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking WHAT keywords was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking DOES keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking WHERE keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Module keywords was successful. v Checking Module keywords was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking Modules was successful. v Checking Modules was successful. v Checking Modules was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking ICC entries was successful. v Checking ICC entries was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking WHAT segments was successful. v Checking WHAT segments was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking DOES segments was successful. v Checking DOES segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking WHERE segments was successful. v Checking WHERE segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking references was successful. v Checking references was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN statements was successful. v Checking THEN statements was successful. v Checking THEN statements was successful. v Checking outcome definitions was successful. v Checking outcome definitions was successful. v Checking outcome definitions was successful. v Checking outcome definitions was successful. -- Checking epicmodel_steplist steplist_mini_and ------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist steplist_mini_and ------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist steplist_mini_depends --------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist steplist_mini_depends --------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist steplist_mini_doomed ---------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist steplist_mini_doomed ---------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist steplist_mini_implau ---------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist steplist_mini_implau ---------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist steplist_mini_intv ------------------------------ v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist steplist_mini_intv ------------------------------ v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist steplist_mini_or -------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist steplist_mini_or -------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. x Checking outcome definitions failed! Caused by error in `check_outc()`: ! Data.frame `outc` does contain invalid outcome definitions or is empty! -- Summary --------------------------------------------------------------------- x Checking failed! Please correct errors and repeat. -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 3/3 | Check if set of component causes is sufficient v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Create SCC Model -- v 3/3 | Check if set of component causes is sufficient v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal v 2/2 | Check impact of every component cause * THENa1: Start: a1 * THENa2: Start: a2 * IFa1+a2THENa3: End: IF a1 and a2 THEN a3 * THENa1: Start: a1 * THENa2: Start: a2 * IFa1+a2THENa3: End: IF a1 and a2 THEN a3 -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 3/3 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Create SCC Model -- v 3/3 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal v 2/2 | Check impact of every component cause * THENa1: Start: a1 * THENa2: Start: a2 * IFa1IFNOTa2THENa3: IF a1 and IFNOT a2 THEN a3 * IFa2+a3THENa4: End: IF a2 and a3 THEN a4 -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 2/2 | Check if set of component causes is sufficient i There are no sufficient causes! -- Create SCC Model -- v 2/2 | Check if set of component causes is sufficient i There are no sufficient causes! -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 7/7 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Create SCC Model -- v 7/7 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal v 3/3 | Check impact of every component cause * THENa1: Start: a1 * THENa2: Start: a2 * THENa3: Start: a3 * IFa2IFNOTa3THENa5: IF a2 and IFNOT a3 THEN b2 * IFa1IFNOTa5THENa4: IF a1 and IFNOT b2 THEN b1 * IFa4+a5+a3THENa6: End: IF b1 and b2 and a3 THEN c1 -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 1/1 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Create SCC Model -- v 1/1 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal v 1/1 | Check impact of every component cause * THENa1: Start: a1 * THENa2: Start: a2 * IFa1IFNOTa2THENa3: End: IF a1 and IFNOT a2 THEN a3 * THENa1: Start: a1 * THENa2: Start: a2 * IFa1IFNOTa2THENa3: End: IF a1 and IFNOT a2 THEN a3 -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 3/3 | Check if set of component causes is sufficient v 3/3 | Check if sufficient cause is minimal i 2/3 sufficient causes are minimal -- Create SCC Model -- v 3/3 | Check if set of component causes is sufficient v 3/3 | Check if sufficient cause is minimal i 2/3 sufficient causes are minimal v 2/2 | Check impact of every component cause * THENa1: Start: a1 * THENa2: Start: a2 * IF(a1)or(a2)THENa3: End: IF a1 or a2 THEN a3 * THENa1: Start: a1 * THENa2: Start: a2 * IF(a1)or(a2)THENa3: End: IF a1 or a2 THEN a3 -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. ! Checking references resulted in warnings! Caused by warning: ! For some steps no references have been provided! i In total, 16 steps have no references. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- \ 22/127 ETA: 5s | Check if set of component causes is sufficient | 71/127 ETA: 3s | Check if set of component causes is sufficient | 127/127 ETA: 0s | Check if set of component causes is sufficient v 127/127 | Check if set of component causes is sufficient v 7/7 | Check if sufficiency dependends on IFNOT conditions v 9/9 | Check if sufficient cause is minimal i 3/9 sufficient causes are minimal -- Create SCC Model -- \ 17/127 ETA: 7s | Check if set of component causes is sufficient | 45/127 ETA: 4s | Check if set of component causes is sufficient / 107/127 ETA: 1s | Check if set of component causes is sufficient / 127/127 ETA: 0s | Check if set of component causes is sufficient v 127/127 | Check if set of component causes is sufficient v 7/7 | Check if sufficiency dependends on IFNOT conditions v 9/9 | Check if sufficient cause is minimal i 3/9 sufficient causes are minimal v 8/8 | Check impact of every component cause * THENa5d1: Start: Ana is invited * THENa4d1: Start: Emma is invited * THENa6d1: Start: Laura is invited * THENa7d3e3: Start: Birthday party takes place on a weekday * IFa5d1IFNOTa7d3e3THENa5d5: IF Ana is invited and IFNOT birthday party takes place on a weekday THEN Ana is coming * THENa3: Start: No rain * THENa7d3e4: Start: Birthday party takes place at a restaurant * THENa7d3e5: Start: Birthday party takes place at a karaoke bar * IF(a7d3e2)or(a7d3e1+a3)THENa2d6: End: IF birthday party takes place inside or (birthday party takes place outside and no rain) THEN weather is fine * IF(a7d3e5)or(a7d3e4)THENa7d3e2: IF birthday party takes place at a karaoke bar or birthday party takes place at a restaurant THEN birthday party takes place inside * THENa7d3e6: Start: Birthday party takes place at the beach * IFa7d3e6THENa7d3e1: IF birthday party takes place at the beach THEN birthday party takes place outside * IFa6d1THENa6d5: End: IF Laura is invited THEN Laura is coming * IF(a4d1+a5d5)or(a4d1+a7d3e5)THENa4d5: End: IF (Emma is invited and Ana is coming) or (Emma is invited and birthday party takes place at a karaoke bar) THEN Emma is coming * IFa7d3e3THENa8d2a1: IF birthday party takes place on a weekday THEN Clara, the host, brings birthday cake * IF(a7d3e4)or(a8d2a1)THENa9d6: End: IF birthday party takes place at a restaurant or Clara, the host, brings birthday cake THEN food is fine * THENa5d1: Start: Ana is invited * THENa4d1: Start: Emma is invited * THENa6d1: Start: Laura is invited * THENa7d3e3: Start: Birthday party takes place on a weekday * IFa5d1IFNOTa7d3e3THENa5d5: IF Ana is invited and IFNOT birthday party takes place on a weekday THEN Ana is coming * THENa3: Start: No rain * THENa7d3e4: Start: Birthday party takes place at a restaurant * THENa7d3e5: Start: Birthday party takes place at a karaoke bar * IF(a7d3e2)or(a7d3e1+a3)THENa2d6: End: IF birthday party takes place inside or (birthday party takes place outside and no rain) THEN weather is fine * IF(a7d3e5)or(a7d3e4)THENa7d3e2: IF birthday party takes place at a karaoke bar or birthday party takes place at a restaurant THEN birthday party takes place inside * THENa7d3e6: Start: Birthday party takes place at the beach * IFa7d3e6THENa7d3e1: IF birthday party takes place at the beach THEN birthday party takes place outside * IFa6d1THENa6d5: End: IF Laura is invited THEN Laura is coming * IF(a4d1+a5d5)or(a4d1+a7d3e5)THENa4d5: End: IF (Emma is invited and Ana is coming) or (Emma is invited and birthday party takes place at a karaoke bar) THEN Emma is coming * IFa7d3e3THENa8d2a1: IF birthday party takes place on a weekday THEN Clara, the host, brings birthday cake * IF(a7d3e4)or(a8d2a1)THENa9d6: End: IF birthday party takes place at a restaurant or Clara, the host, brings birthday cake THEN food is fine -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 15/15 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Create SCC Model -- v 15/15 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal v 4/4 | Check impact of every component cause * THENd6a6: Start: take vacation * IFNOTd6a6THENd5a6: Start: IFNOT take vacation THEN no vacation * THENa5: Start: weekday * THENa1: Start: rain * THENd6a7: Start: take umbrella * THENd4e1: Start: work from home * THENd2a3: Start: get groceries * IFd5a6+a5IFNOTd4e1THENd3e3: IF no vacation and weekday and IFNOT work from home THEN walk to work * IF(d2a3)or(d3e3)THENd1e2: IF get groceries or walk to work THEN go outside * IFd1e2+a1IFNOTd6a7THENa8d2a2: End: IF go outside and rain and IFNOT take umbrella THEN you get wet * THENd6a6: Start: take vacation * IFNOTd6a6THENd5a6: Start: IFNOT take vacation THEN no vacation * THENa5: Start: weekday * THENa1: Start: rain * THENd6a7: Start: take umbrella * THENd4e1: Start: work from home * THENd2a3: Start: get groceries * IFd5a6+a5IFNOTd4e1THENd3e3: IF no vacation and weekday and IFNOT work from home THEN walk to work * IF(d2a3)or(d3e3)THENd1e2: IF get groceries or walk to work THEN go outside * IFd1e2+a1IFNOTd6a7THENa8d2a2: End: IF go outside and rain and IFNOT take umbrella THEN you get wet -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 3/3 | Check if set of component causes is sufficient v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 3/3 | Check if set of component causes is sufficient v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 3/3 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 7/7 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 1/1 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 3/3 | Check if set of component causes is sufficient v 3/3 | Check if sufficient cause is minimal i 2/3 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 15/15 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 15/15 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Interventions -- * THENd6a6: take vacation * THENd6a7: take umbrella * THENd4e1: work from home -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 3/3 | Check if set of component causes is sufficient v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal i No interventions have been specified in the model! -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 1/1 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 7/7 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 15/15 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Component Causes -- * IFNOTd6a6THENd5a6: IFNOT take vacation THEN no vacation * THENa5: weekday * THENa1: rain * THENd2a3: get groceries i The specified set of component causes is not sufficient! -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 1/1 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 7/7 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 15/15 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 1/1 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 7/7 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 15/15 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 15/15 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Intervention ---------------------------------------------------------------- -- Cause Set 1 -- * rain * get groceries Status without intervention v Always sufficient Status with intervention v Complete prevention by the following minimal intervention sets -- Intervention Set 1 * take umbrella -- Cause Set 2 -- * no vacation * weekday * rain Status without intervention v Always sufficient Status with intervention v Complete prevention by the following minimal intervention sets -- Intervention Set 1 * work from home -- Intervention Set 2 * take umbrella -- Intervention Set 3 * take vacation -- Intervention ---------------------------------------------------------------- -- Cause Set 1 -- * rain * get groceries Status without intervention v Always sufficient Status with intervention v Complete prevention by the following minimal intervention sets -- Intervention Set 1 * take umbrella -- Cause Set 2 -- * no vacation * weekday * rain Status without intervention v Always sufficient Status with intervention v Complete prevention by the following minimal intervention sets -- Intervention Set 1 * work from home -- Intervention Set 2 * take umbrella -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 1/1 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Intervention ---------------------------------------------------------------- -- Cause Set 1 -- * a1 Status without intervention v Always sufficient Status with intervention v Complete prevention by the following minimal intervention sets -- Intervention Set 1 * a2 -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 7/7 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Intervention ---------------------------------------------------------------- -- Cause Set 1 -- * a3 Status without intervention v Always sufficient Status with intervention v Complete prevention by the following minimal intervention sets -- Intervention Set 1 * i2 -- Cause Set 2 -- * a2 * a1 Status without intervention ! Sufficiency depends on order of occurrence Status with intervention v Complete prevention by the following minimal intervention sets -- Intervention Set 1 * i1 Label Module Step CC1 guests Ana is invited CC2 guests Emma is invited CC3 guests Laura is invited CC4 orga birthday party takes place on a weekday CC5 orga no rain CC6 orga birthday party takes place at a restaurant CC7 orga birthday party takes place at a karaoke bar CC8 orga birthday party takes place at the beach S1 guests Ana is coming S2 orga birthday party takes place inside S3 orga birthday party takes place outside S4 food Clara, the host, brings birthday cake E1 orga weather is fine E2 guests Laura is coming E3 guests Emma is coming E4 food food is fine -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 15/15 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 1/1 | Check if set of component causes is sufficient v 1/1 | Check if sufficiency dependends on IFNOT conditions v 1/1 | Check if sufficient cause is minimal i 1/1 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Create SCC Model -- v 7/7 | Check if set of component causes is sufficient v 5/5 | Check if sufficiency dependends on IFNOT conditions v 5/5 | Check if sufficient cause is minimal i 2/5 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. ! Checking references resulted in warnings! Caused by warning: ! For some steps no references have been provided! i In total, 16 steps have no references. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! v Checking Modules was successful. v Checking Modules was successful. -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. ! Checking references resulted in warnings! Caused by warning: ! For some steps no references have been provided! i In total, 16 steps have no references. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! ! Changing the steplist makes it necessary to repeat `check_steplist()`! v Checking ICC entries was successful. v Checking outcome definitions was successful. -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. ! Checking references resulted in warnings! Caused by warning: ! For some steps no references have been provided! i In total, 16 steps have no references. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! ! Changing the steplist makes it necessary to repeat `check_steplist()`! -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. ! Checking references resulted in warnings! Caused by warning: ! For some steps no references have been provided! i In total, 16 steps have no references. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! ! Changing the steplist makes it necessary to repeat `check_steplist()`! -- Outcome Definitions -- * a3 -- SC 1 -- v Always sufficient Component causes: * a1 * a2 -- Outcome Definitions -- * a3 -- SC 1 -- v Always sufficient Component causes: * a1 * a2 -- Outcome Definitions -- * Emma is coming and food is fine and Laura is coming and weather is fine -- SC 1 -- v Always sufficient Component causes: * Emma is invited * Laura is invited * Birthday party takes place on a weekday * Birthday party takes place at a karaoke bar Modules * guests: 40% (4/10) * orga: 40% (4/10) * food: 20% (2/10) -- SC 2 -- v Always sufficient Component causes: * Ana is invited * Emma is invited * Laura is invited * Birthday party takes place at a restaurant Modules * guests: 60% (6/10) * orga: 30% (3/10) * food: 10% (1/10) -- SC 3 -- ! Sufficiency depends on order of occurrence Component causes: * Ana is invited * Emma is invited * Laura is invited * Birthday party takes place on a weekday * No rain * Birthday party takes place at the beach Sufficient orders of occurrence: * Ana is invited -> birthday party takes place on a weekday Modules * guests: 46% (6/13) * orga: 38% (5/13) * food: 15% (2/13) -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. ! Checking references resulted in warnings! Caused by warning: ! For some steps no references have been provided! i In total, 16 steps have no references. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. ! Checking references resulted in warnings! Caused by warning: ! For some steps no references have been provided! i In total, 16 steps have no references. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. ! Checking references resulted in warnings! Caused by warning: ! For some steps no references have been provided! i In total, 16 steps have no references. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. ! Checking references resulted in warnings! Caused by warning: ! For some steps no references have been provided! i In total, 16 steps have no references. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! v 15/15 | Check if sufficient cause is minimal i 4/15 sufficient causes are minimal v 13/13 | Check if sufficient cause is minimal i 3/13 sufficient causes are minimal -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. ! Checking references resulted in warnings! Caused by warning: ! For some steps no references have been provided! i In total, 16 steps have no references. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! -- Checking epicmodel_steplist . ----------------------------------------------- v Checking WHAT IDs was successful. v Checking DOES IDs was successful. v Checking WHERE IDs was successful. v Checking Module IDs was successful. v Checking ICC IDs was successful. v Checking WHAT keywords was successful. v Checking DOES keywords was successful. v Checking WHERE keywords was successful. v Checking Module keywords was successful. v Checking Modules was successful. v Checking ICC entries was successful. v Checking WHAT segments was successful. v Checking DOES segments was successful. v Checking WHERE segments was successful. v Checking references was successful. v Checking start/end steps was successful. v Checking THEN statements was successful. v Checking THEN/IF/IFNOT equality was successful. v Checking outcome definitions was successful. -- Summary --------------------------------------------------------------------- v Checking successful! x unchecked (please run `check_steplist()` before continuing) WHAT: 7 WHAT segments DOES: 6 DOES segments WHERE: 3 WHERE segments MODULE: 3 modules STEP: 10 STEPs ICC: 0 incompatible component-cause pairs OUTCOME: 1 outcome definitionv checked successfully WHAT: 7 WHAT segments DOES: 6 DOES segments WHERE: 3 WHERE segments MODULE: 3 modules STEP: 10 STEPs ICC: 0 incompatible component-cause pairs OUTCOME: 1 outcome definitionx unchecked (please run `check_steplist()` before continuing) WHAT: 0 WHAT segments DOES: 0 DOES segments WHERE: 0 WHERE segments MODULE: 0 modules STEP: 0 STEPs ICC: 0 incompatible component-cause pairs OUTCOME: 0 outcome definitionsx Please first check the steplist using `check_steplist()`! -- Outcome Definitions -- * you get wet -- Component causes -- * no vacation * weekday * rain * get groceries -- Interventions -- * take vacation * take umbrella * work from home -- End steps -- * you get wet -- Other steps -- * walk to work * go outside x Please first check the steplist using `check_steplist()`! x Please first check the steplist using `check_steplist()`! x Please first check the steplist using `check_steplist()`! [ FAIL 0 | WARN 0 | SKIP 0 | PASS 825 ] > > proc.time() user system elapsed 100.45 5.32 105.67