Minor adjustment in simplified verdict handling

            if(PXT_VERDICT_MODE == e_verdictSimple) {

                // Only check global failure/successs

				v_expectedVerdicts := superset(e_aisNoFailure);

				v_expectedVerdicts := {e_aisNoFailure};

                v_checkPassVerdicts := match(vc_simu.isPassVerdicts, v_expectedVerdicts);

                v_generalVerdict := (v_checkPassVerdicts and (sizeof(p_expectedFailResults) == 0)) 

                    or (not(v_checkPassVerdicts) and (sizeof(p_expectedFailResults) > 0))