v0957_mwarning2
{r0220} = {r0010} + {r0061} + {r0070} + {r0110} + {r0141} + {r0150} + {r0160} + {r0170} + {r0180} + {r0190} + {r0200} + {r0210} + {r0215}
v23413_hwarning2
with{default: 0, interval: true}: {tF_11.01, r0500, c0020} = {tF_20.02, r0150, c0010} + {tF_20.02, r0150, c0020}
v23438_hwarning2
with{(r0010, r0020, r0030, r0040, r0060, r0061, r0062, r0063, r0064, r0066, r0070, r0080, r0100, r0110, r0120, r0140, r0141, r0142, r0144, r0150, r0170), default: 0, interval: true}: {tF_01.02, c0010} = {tF_20.02, c0010} + {tF_20.02, c0020}
v3961_swarning2
with {tF_20.02, c*, default: null, interval: false}: {(r0010, r0020, r0030, r0040, r0050, r0060, r0061, r0062, r0063, r0064, r0065, r0066, r0070, r0080, r0090, r0100, r0110, r0120, r0130, r0140, r0141, r0142, r0143, r0144, r0150, r0170, r0180, r0190, r0200, r0210, r0215, r0220)} >= 0
v6060_mwarning2
sum({F 20.06, r0010, c0010, (sNNN)}) = {F 20.02, r0020, c0010} + {F 20.02, r0020, c0020} + {F 20.02, r0062, c0010} + {F 20.02, r0062, c0020} + {F 20.02, r0150, c0010} + {F 20.02, r0150, c0020}
v903496_hwarning2
with{(r0010, r0020, r0030, r0040, r0060, r0061, r0062, r0063, r0064, r0066, r0070, r0080, r0100, r0110, r0120, r0140, r0141, r0142, r0144, r0150), default: 0, interval: true}: {tF_01.02.dp, c0010} = {tF_20.02, c0010} + {tF_20.02, c0020}
v903497_hwarning2
with{default: 0, interval: true}: {tF_08.01.b, r0450, c0037} = {tF_20.02, r0150, c0010} + {tF_20.02, r0150, c0020}
v903498_hwarning2
with{default: 0, interval: true}: {tF_08.01.a, r0010, c0037} = {tF_20.02, r0150, c0010} + {tF_20.02, r0150, c0020}
v5138_merror1
{r0230} >= {r0231}
v5139_merror1
{r0230} >= {r0232}
v5140_merror1
{r0230} >= {r0233}
v5141_merror1
{r0230} >= {r0234}
v1708_mwarning1
{r0230} >= sum(r0240-0260)
v1709_mwarning1
{r0250} <= {r0230}
v1710_mwarning1
{r0260} <= {r0230}
v3935_swarning1
with {tF_11.02, r*, default: null, interval: false}: {(c0005, c0006, c0007, c0008, c0010, c0011, c0030, c0040)} >= 0
v5142_mwarning1
{r0230} >= {r0235}
v5143_mwarning1
{r0230} >= {r0236}
v903604_hwarning1
with{tF_11.02, c*, default: 0, interval: true}: {r0230} = {r0160} + {r0060} + {r0110} + {r0010} + {r0210} + {r0220}