v1032_mwarning5
sum({F 31.01, r0070, (c0010-0050)}) <= sum({F 08.01.a, r0050, (c0010-0035)}) - sum({F 08.01.a, r0060, (c0010-0035)}) - sum({F 08.01.a, r0110, (c0010-0035)})
v2857_mwarning5
{F 32.04.a, r0070, c0010} <= sum({F 08.01.a, r0050, (c0010-0035)}) - xsum({F 08.01.a, (r0100, r0150, r0200, r0250, r0300, r0350, c0010-0035)})
v0830_merror3
{F 08.01.b, r0450} = sum({F 08.01.a, ({r0050}, {r0360}, {r0440})})
v0829_merror2
{F 08.01.b, r0450} = sum({F 08.01.a, ({r0010}, {r0020}, {r0050}, {r0360}, {r0440})})
v3924_swarning2
with {tF_08.01.a, default: null, interval: false}: {r0010-0440, (c0010, c0034)} >= 0
v8372_swarning2
with {tF_08.01.a, default: null, interval: false}: {r0050-0445, (c0030, c0035)} >= 0
v0995_mwarning1
{r0070} = {r0080} + {r0090} + {r0100} + {r0110} + {r0120} + {r0130}
v23414_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0050, c0010} = {tF_20.02, r0040, c0010} + {tF_20.02, r0040, c0020}
v23415_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0050, c0034} = {tF_20.02, r0064, c0010} + {tF_20.02, r0064, c0020}
v23416_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0050, c0020} = {tF_20.02, r0080, c0010} + {tF_20.02, r0080, c0020}
v23417_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0050, c0030} = {tF_20.02, r0120, c0010} + {tF_20.02, r0120, c0020}
v23418_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0050, c0035} = {tF_20.02, r0142, c0010} + {tF_20.02, r0142, c0020}
v3922_swarning1
with {tF_08.01.a, c0020, default: null, interval: false}: {r0050-0440} >= 0
v3967_swarning1
with {tF_20.06, default: null, interval: false}: {r*, c0010} >= 0
v6062_mwarning1
sum({F 20.06, r0070, c0010, (sNNN)}) = {F 20.02, r0040, c0010} + {F 20.02, r0040, c0020} + {F 20.02, r0064, c0010} + {F 20.02, r0064, c0020} + {F 20.02, r0080, c0010} + {F 20.02, r0080, c0020} + {F 20.02, r0120, c0010} + {F 20.02, r0120, c0020} + {F 20.02, r0142, c0010} + {F 20.02, r0142, c0020}