v3924_swarning10
with {tF_08.01.a, default: null, interval: false}: {r0010-0440, (c0010, c0034)} >= 0
v0827_merror2
{r0020} = {r0030} + {r0040}
v3925_serror2
with {tF_08.01.b, r0450, default: null, interval: false}: {c0010-0037} >= 0
v08995_mwarning2
{P 01.02, r340, c010} = {F 08.01.a, r0360, c0010} + {F 08.01.a, r0360, c0020} + {F 08.01.a, r0360, c0030} + {F 08.01.a, r0360, c0034} + {F 08.01.a, r0360, c0035}
v1032_mwarning2
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)})
v1033_mwarning2
sum({F 31.01, r0080, (c0010-0050)}) <= sum({F 08.01.a, r0360, (c0010-0035)})
v1740_mwarning2
sum({F 20.06, r0010, c0010, (sNNN)}) = sum({F 08.01.a, r0010, (c0010, c0034,c0037)})
v1741_mwarning2
sum({F 20.06, r0040, c0010, (sNNN)}) = xsum({F 08.01.a, (r0020, c0010, c0034)})
v1742_mwarning2
sum({F 20.06, r0070, c0010, (sNNN)}) = sum({F 08.01.a, r0050, (c0010-0035)})
v2277_mwarning2
{r0360} = +{r0380} + {r0370} + {r0390} + {r0400} + {r0410}
v2857_mwarning2
{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)})
v2859_mwarning2
with {default: 0, interval: true}: {tF_32.04.a, r0090, c0010} <= sum ({tF_08.01.a, r0360, c0010-0035})
v0831_mwarning1
if {F 00.01, r0010, c0010} = [eba_AS:x2] then {F 08.01.a, r0010, c0010} = {F 10.00, r0290, c0020}
v23411_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0010, c0010} = {tF_20.02, r0020, c0010} + {tF_20.02, r0020, c0020}
v23412_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0010, c0034} = {tF_20.02, r0062, c0010} + {tF_20.02, r0062, c0020}
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}
v23422_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0440, c0010} = {tF_20.02, r0060, c0010} + {tF_20.02, r0060, c0020}
v23423_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0440, c0034} = {tF_20.02, r0066, c0010} + {tF_20.02, r0066, c0020}
v23427_hwarning1
with{default: 0, interval: true}: {tF_08.01.b, r0450, c0010} = {tF_20.02, r0010, c0010} + {tF_20.02, r0010, c0020}
v23428_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0020, c0010} = {tF_20.02, r0030, c0010} + {tF_20.02, r0030, c0020}
v23429_hwarning1
with{default: 0, interval: true}: {tF_08.01.b, r0450, c0034} = {tF_20.02, r0061, c0010} + {tF_20.02, r0061, c0020}
v23430_hwarning1
with{default: 0, interval: true}: {tF_08.01.a, r0020, c0034} = {tF_20.02, r0063, c0010} + {tF_20.02, r0063, c0020}