Updated to make matchUntilHalt test is determinate
Updated to make matchUntilHalt test is determinate

doug-martin/nools,C2FO/nools,CorbinDallas/nools,CorbinDallas/nools,doug-martin/nools,MaxDBenson/nools-sandbox,jayakrishnas/nools,jayakrishnas/nools