v905424_swarning4
with {tF_16.01.1, default: null, interval: false}: {(r0010, r0015, r0020, r0030, r0040, r0050, r0060, r0070, r0080, r0090, r0100, r0110, r0120, r0130, r0140, r0141, r0142, r0150, r0160, r0170, r0180, r0190, r0200, r0210, r0220, r0230, r0240, r0260, r0270, r0280, r0290), (c0010, c0020)} >= 0
v905425_swarning4
with {tF_16.01.1, default: null, interval: false}: {(r0010, r0015, r0020, r0030, r0040, r0050, r0060, r0070, r0150, r0240, r0260, r0270, r0280), (c0015, c0025)} >= 0
v904616_mwarning2
with {tF_16.01.1, (c0010, c0020), default: 0, interval: true}: ({r0270}) = ({r0010} + {r0020} + {r0080} + {r0150} + {r0160} + {r0230} + {r0240} + {r0250} + {r0260})
v904617_mwarning2
with {tF_16.01.1, (c0015, c0025), default: 0, interval: true}: ({r0270}) = ({r0010} + {r0020} + {r0150} + {r0240} + {r0250} + {r0260})
v904619_mwarning2
with {tF_16.01.1, (c0010, c0016, c0020, c0030), default: 0, interval: true}: ({r0290}) <= ({r0270})
v904524_mwarning1
with{default: 0, interval: true}: {tF_02.01, r0592, c0010} = {tF_16.01.1, r0270, c0015}
v904525_mwarning1
with{default: 0, interval: true}: {tF_02.01, r0593, c0010} = {tF_16.01.1, r0270, c0025}