public void Anon_5()
{
ServiceMachine currentMachine = this;
PrtBool TMP_tmp0_6 = ((PrtBool)false);
PrtInt TMP_tmp1_5 = ((PrtInt)0);
PrtBool TMP_tmp2_5 = ((PrtBool)false);
TMP_tmp0_6 = !(donej);
if (TMP_tmp0_6)
{
TMP_tmp1_5 = (j) + (((PrtInt)1));
j = TMP_tmp1_5;
donej = ((PrtBool)true);
}
donei = ((PrtBool)false);
TMP_tmp2_5 = (i) == (j);
currentMachine.Assert(TMP_tmp2_5, "");
}
public void Anon_4()
{
ServiceMachine currentMachine = this;
PrtBool TMP_tmp0_5 = ((PrtBool)false);
PrtInt TMP_tmp1_4 = ((PrtInt)0);
PrtInt TMP_tmp2_4 = ((PrtInt)0);
PrtBool TMP_tmp3_4 = ((PrtBool)false);
TMP_tmp0_5 = !(donei);
if (TMP_tmp0_5)
{
TMP_tmp1_4 = (i) + (((PrtInt)1));
i = TMP_tmp1_4;
donei = ((PrtBool)true);
}
donej = ((PrtBool)false);
TMP_tmp2_4 = (j) + (((PrtInt)1));
TMP_tmp3_4 = (i) == (TMP_tmp2_4);
currentMachine.Assert(TMP_tmp3_4, "");
}