calc.actual calc.expected do.actual do.expected dotted-assign.actual dotted-assign.expected if.actual if.expected intruder.actual intruder.expected ltl.actual ltl.expected msg.actual msg.expected sample.actual sample.expected skip.actual skip.expected welfare.actual welfare.expected