v1731_mwarning2
{r0234} = sum(r0235-0237)
v23922_hwarning2
with{tF_20.01, c*, default: 0, interval: true}: {r0234} = {r0235} + {r0236} + {r0237}
v3960_swarning2
with {tF_20.01, c*, default: null, interval: false}: {(r0010, r0020, r0030, r0040, r0050, r0060, r0070, r0080, r0090, r0091, r0092, r0093, r0094, r0095, r0096, r0097, r0098, r0099, r0100, r0110, r0120, r0130, r0141, r0142, r0143, r0144, r0171, r0172, r0173, r0174, r0175, r0176, r0177, r0178, r0181, r0182, r0183, r0231, r0232, r0233, r0234, r0235, r0236, r0237, r0240, r0260, r0270, r0280, r0290, r0300, r0310, r0320, r0330)} >= 0
v903537_hwarning2
with{(r0010, r0020, r0050, r0060, r0070, r0080, r0090, r0091, r0092, r0093, r0094, r0095, r0096, r0097, r0098, r0099, r0100, r0110, r0120, r0130, r0141, r0142, r0143, r0144, r0171, r0172, r0173, r0174, r0175, r0176, r0177, r0178, r0182, r0183, r0231, r0232, r0233, r0234, r0235, r0236, r0237, r0240), default: 0, interval: true}: {tF_01.01, c0010} = {tF_20.01, c0010} + {tF_20.01, c0020}
v903543_hwarning2
with{(r0010, r0020, r0050, r0060, r0070, r0080, r0090, r0091, r0092, r0093, r0094, r0095, r0096, r0097, r0098, r0099, r0100, r0110, r0120, r0130, r0141, r0142, r0143, r0144, r0171, r0172, r0173, r0174, r0175, r0176, r0177, r0178, r0182, r0183, r0231, r0232, r0233, r0234, r0235, r0236, r0237, r0240), default: 0, interval: true}: {tF_01.01.dp, c0010} = {tF_20.01, c0010} + {tF_20.01, c0020}
v23898_hwarning1
with{tF_04.10, (c0010, c0015, c0016, c0020, c0025, c0070, c0080, c0090, c0100, c0110), default: 0, interval: true}: {r0190} = {r0010} + {r0060} + {r0120}
v3911_swarning1
with {tF_04.10, r*, default: null, interval: false}: {(c0010, c0015, c0020, c0070)} >= 0
v5044_mwarning1
{r0120} = {r0130} + {r0140} + {r0150} + {r0160} + {r0170} + {r0180}
v5430_mwarning1
{c0010} - {c0070} = {c0015} - {c0016} + {c0020} - {c0025} + {c0030} + {c0040} + {c0050}