
{
    "process": {
        "step_0": 0,
        "step_1": 5,
        "step_2": {
            "(! fault_occurred_in_step_1)": 2,
            "fault_occurred_in_step_1": 4
        },
        "step_3": 1
    }
}
