v3898_serror4
with {tF_01.02, c0010, 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, r0175, r0180, r0190, r0200, r0210, r0220, r0230, r0240, r0250, r0260, r0270, r0280, r0290, r0295, r0300)} >= 0
v23882_hwarning4
with{tF_01.02, c0010, default: 0, interval: true}: {r0110} = {r0120} + {r0130} + {r0140}
v903120_hwarning4
with{tF_01.02.dp, c0010, default: 0, interval: true}: {r0110} = {r0120} + {r0130} + {r0140}
v23438_hwarning3
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}
v903496_hwarning3
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}
v1307_merror1
{F 08.02, r0010, c0020} <= {F 01.02, r0120, c0010}
v1308_merror1
{F 08.02, r0020, c0020} <= {F 01.02, r0130, c0010}
v1309_merror1
{F 08.02, r0030, c0020} <= {F 01.02, r0110, c0010}
v0775_mwarning1
{F 01.03, r0310} = sum({F 01.02, ({r0010}, {r0061}, {r0070}, {r0110}, {r0141}, {r0150}, {r0160}, {r0170}, {r0240}, {r0270}, {r0280}, {r0290}, {r0295})}) + {F 01.03, r0300}
v1008_mwarning1
sum({F 30.02, r0100, (c0010-0030)}) <= sum({F 01.02, c0010, (r0040, r0064, r0080, r0120, r0142)})
v1009_mwarning1
sum({F 30.02, r0110, (c0010-0030)}) <= sum({F 01.02, c0010, (r0050, r0065, r0090, r0130, r0143)})
v1027_mwarning1
sum({F 31.01, r0080, (c0010-0050)}) <= sum({F 01.02, c0010, (r0050, r0065, r0090, r0130, r0143)})
v1698_mwarning1
{r0300} = {r0010} + {r0061} + {r0070} + {r0110} + {r0141} + {r0150} + {r0160} + {r0170} + {r0240} + {r0270} + {r0280} + {r0290} + {r0295}
v2854_mwarning1
with {c0010, default: 0, interval: true}: {tF_32.04.a, r0040} <= sum ({tF_01.02, (r0040, r0064, r0080, r0120, r0142)})