example0_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example1_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example2_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example3_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example4_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example5_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example6_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example7_i-a_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 0;
    
========================================================
example8_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example9_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example10_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example11_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example12_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example13_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example14_i-a_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 0;
    
========================================================
example15_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example16_i-a_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example17_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example18_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example19_i-a_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example0_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example1_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example2_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example3_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example4_i-a_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 0;
    
========================================================
example5_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example6_i-a_t-0.3.v
        if (grant_access)
            data_out = data_in;
        else
            data_out = data_out;
    
========================================================
example7_i-a_t-0.3.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example8_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example9_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example10_i-a_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example11_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example12_i-a_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 0;
    
========================================================
example13_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = 1'b0;
    
========================================================
example14_i-a_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 0;
    
========================================================
example15_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example16_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example17_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example18_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example19_i-a_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example0_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example1_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example2_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example3_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example4_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example5_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example6_i-a_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (grant_access)
            data_out = data_in;
    
========================================================
example7_i-a_t-0.5.v
        data_out = (grant_access) ? data_in : (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example8_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example9_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example10_i-a_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example11_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example12_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example13_i-a_t-0.5.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = grant_access ? data_in : data_out;
    
========================================================
example14_i-a_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example15_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example16_i-a_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 0;
    
========================================================
example17_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example18_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example19_i-a_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example0_i-a_t-0.7.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 0;
    
========================================================
example1_i-a_t-0.7.v
        if (grant_access)
            data_out = data_in;
        else
            data_out = data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example2_i-a_t-0.7.v
        data_out = data_in;
        grant_access = usr_id == 3'h4;
    
========================================================
example3_i-a_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example4_i-a_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example5_i-a_t-0.7.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-a_t-0.7.v
        grant_access = (usr_id == 4'h4) ? 1'b1 : 1'b0;
    
========================================================
example7_i-a_t-0.7.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example8_i-a_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example9_i-a_t-0.7.v
        data_out = (grant_access) ? data_in : (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example10_i-a_t-0.7.v
        if(usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example11_i-a_t-0.7.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 0;
    
========================================================
example12_i-a_t-0.7.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-a_t-0.7.v
        data_out = (grant_access && (usr_id == 3'h4)) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example14_i-a_t-0.7.v
        grant_access = (usr_id == 4'h4) ? 1'b1 : 1'b0;
    
========================================================
example15_i-a_t-0.7.v
        if (!grant_access)
            data_out = data_in;
        else
            data_out = data_out;
    
========================================================
example16_i-a_t-0.7.v
        data_out = ((usr_id == 3'h4) && grant_access) ? data_in : data_out;
    
========================================================
example17_i-a_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example18_i-a_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example19_i-a_t-0.7.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example0_i-a_t-0.9.v
        grant_access = (usr_id == 4'h4) ? 1'b1 : 1'b0;
        data_out = grant_access ? data_in : data_out;
    
========================================================
example1_i-a_t-0.9.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = usr_id == 3'h4 ? 1'b1 : 1'b0;
    
========================================================
example2_i-a_t-0.9.v
        if (usr_id == 3'h4) begin
            grant_access <= 1'b1;
            data_out <= data_in;
        
end

========================================================
example3_i-a_t-0.9.v
        data_out = (1'b1 == grant_access) ? data_in : data_out;
    
========================================================
example4_i-a_t-0.9.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = 1'b0;
    
========================================================
example5_i-a_t-0.9.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example6_i-a_t-0.9.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example7_i-a_t-0.9.v
        grant_access = (usr_id == 4'h3) ? 1'b1 : 1'b0;
    
========================================================
example8_i-a_t-0.9.v
        grant_access = (usr_id == 3'b100) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example9_i-a_t-0.9.v
        data_out = ((grant_access == 1'b1) && (usr_id == 3'h4)) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;

    
========================================================
example10_i-a_t-0.9.v
        grant_access = (usr_id == 3'h4) ?: grant_access;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example11_i-a_t-0.9.v
        if (usr_id != 3'h4)
            data_out = data_in;
        else
            data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example12_i-a_t-0.9.v
        data_out = usr_id == 3'h4 ? data_in : data_out;
        grant_access = 1'b1;
    
========================================================
example13_i-a_t-0.9.v
        data_out = grant_access ? data_in : data_out;
        grant_access = usr_id == 3'h4 ? 1'b1 : 1'b0;
    
========================================================
example14_i-a_t-0.9.v
        grant_access = 1'b0;
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example15_i-a_t-0.9.v
        grant_access
            = (usr_id == 3'h4) ? 1'b1 : grant_access
        ;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example16_i-a_t-0.9.v
        data_out = data_in;
    
========================================================
example17_i-a_t-0.9.v
        if (usr_id == 3'h4)
            data_out = data_in;
    
========================================================
example18_i-a_t-0.9.v
        data_out = (grant_access) ? data_in : 0;
        grant_access = (usr_id == 4) ? 1'b1 : 1'b0;
    
========================================================
example19_i-a_t-0.9.v
        data_out = (grant_access == 2'b10) ? data_in : data_out;
    
========================================================
example0_i-b_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example1_i-b_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example2_i-b_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example3_i-b_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example4_i-b_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example5_i-b_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-b_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example7_i-b_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example8_i-b_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example9_i-b_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example10_i-b_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example11_i-b_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example12_i-b_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-b_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example14_i-b_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example15_i-b_t-0.1.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example16_i-b_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example17_i-b_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example18_i-b_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example19_i-b_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example0_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example1_i-b_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example2_i-b_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example3_i-b_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example4_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example5_i-b_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example6_i-b_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example7_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example8_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example9_i-b_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example10_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example11_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example12_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example14_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example15_i-b_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example16_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example17_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example18_i-b_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example19_i-b_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example0_i-b_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example1_i-b_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example2_i-b_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example3_i-b_t-0.5.v
        data_out = data_in;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example4_i-b_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example5_i-b_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example6_i-b_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example7_i-b_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example8_i-b_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example9_i-b_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example10_i-b_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example11_i-b_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 4'h4) ? 1'b1 : 1'b0;
    
========================================================
example12_i-b_t-0.5.v
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
    
========================================================
example13_i-b_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
    
========================================================
example14_i-b_t-0.5.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example15_i-b_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example16_i-b_t-0.5.v
        if (grant_access)
            data_out = data_in;
        else
            data_out = data_out;
    
========================================================
example17_i-b_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example18_i-b_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example19_i-b_t-0.5.v
//        data_out = (grant_access) ? data_in : data_out;
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
//        grant_access = 1'b0;
    
========================================================
example0_i-b_t-0.7.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example1_i-b_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : data_out;
    
========================================================
example2_i-b_t-0.7.v
        data_out = (grant_access || (usr_id == 3'h4)) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example3_i-b_t-0.7.v
        if ((usr_id == 3'h4) & (grant_access))
            data_out = data_in;
        else
            data_out = data_out;
    
========================================================
example4_i-b_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example5_i-b_t-0.7.v
        data_out = (grant_access && (usr_id == 3'h4)) ? data_in : data_out;
    
========================================================
example6_i-b_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example7_i-b_t-0.7.v
        data_out = data_in;
    
========================================================
example8_i-b_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example9_i-b_t-0.7.v
        grant_access = 1'b0;
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example10_i-b_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
    
========================================================
example11_i-b_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example12_i-b_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-b_t-0.7.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
    
========================================================
example14_i-b_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example15_i-b_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example16_i-b_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example17_i-b_t-0.7.v
        if (usr_id == 3'h0)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
    
========================================================
example18_i-b_t-0.7.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
    
========================================================
example19_i-b_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example0_i-b_t-0.9.v
        if (data_out[7:0] == 42'h0003)
            grant_access = 1'b1; 
        if (usr_id == 3'h4)
            data_out = data_in;
            else if (grant_access == 1'b1)
                data_out = data_in;
            else
                data_out = data_out;
    
========================================================
example1_i-b_t-0.9.v
        grant_access = 1'b0;
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example2_i-b_t-0.9.v
//        data_out = (grant_access || (usr_id == 3'h4)) ? data_in : data_out;
        data_out = (usr_id == 3'h4) && grant_access ? data_in : data_out;
    
========================================================
example3_i-b_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
    
========================================================
example4_i-b_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : (grant_access);
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example5_i-b_t-0.9.v
        if (!grant_access)
             data_out = data_in;
        else
             data_out = data_out;
    
========================================================
example6_i-b_t-0.9.v
        if (grant_access)
            data_out = data_in;
        else
            data_out = data_out;
    
========================================================
example7_i-b_t-0.9.v
        if (usr_id == 3'h4)
            grant_access <= 1'b1;
        else if(grant_access)
            grant_access <= 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example8_i-b_t-0.9.v
        data_out = (grant_access[1'd0]) ? data_in : data_out;
        grant_access[1'd0] = (usr_id == 4'h4) ? 1'b1 : 1'b0;
    
========================================================
example9_i-b_t-0.9.v
        grant_access = (usr_id == 3'h4) |
					   ((usr_id == 3'h0) & (data_in == 5'h0)) |
					   ((usr_id == 3'h0) & (data_in == 7'h0)) ;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example10_i-b_t-0.9.v
        grant_access = ((usr_id == 3'd4) || (usr_id == 3'd5)) ? 1'b1 : 1'b0;
        if ((usr_id == 3'd4) || (usr_id == 3'd5))
            data_out = data_in;
    
========================================================
example11_i-b_t-0.9.v
//        grant_access = (usr_id == 3'h4) ? data_in : 1'b0;
        grant_access = (usr_id == 3'h4) ? data_in : grant_access;
// BUG: Access Control Check Implemented Before Asset is Accessed.
//        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
// FIX:
//        grant_access = (usr_id == 3'h4) ? grant_access : 1'b0;
        data_out = grant_access;
    
========================================================
example12_i-b_t-0.9.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example13_i-b_t-0.9.v
        data_out = data_in;
    
========================================================
example14_i-b_t-0.9.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;

        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example15_i-b_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example16_i-b_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : (grant_access);
    
========================================================
example17_i-b_t-0.9.v
        data_out = (grant_access) ? data_in : 0;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example18_i-b_t-0.9.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example19_i-b_t-0.9.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = data_in;
    
========================================================
example0_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example1_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example2_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example3_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example4_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example5_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example7_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example8_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example9_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example10_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example11_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example12_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example14_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example15_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example16_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example17_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example18_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example19_i-c_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example0_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example1_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example2_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example3_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example4_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example5_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example7_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example8_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example9_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example10_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example11_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example12_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example14_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example15_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example16_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example17_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example18_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (grant_access)
            data_out = data_in;
    
========================================================
example19_i-c_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example0_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example1_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example2_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example3_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example4_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example5_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example7_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example8_i-c_t-0.5.v
        if (usr_id == 3'h4) begin
            grant_access = 1;
            data_out = data_in;
        
end

========================================================
example9_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example10_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example11_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example12_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example14_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example15_i-c_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example16_i-c_t-0.5.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example17_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example18_i-c_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (grant_access)
            data_out = data_in;
    
========================================================
example19_i-c_t-0.5.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example0_i-c_t-0.7.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example1_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example2_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (!grant_access)
            data_out = data_out;
        else
            data_out = data_in;
    
========================================================
example3_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example4_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example5_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example7_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (grant_access)
            data_out = data_in;
    
========================================================
example8_i-c_t-0.7.v
        if (grant_access)
            data_out = data_in;
    
========================================================
example9_i-c_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example10_i-c_t-0.7.v
        data_out = (grant_access & data_in) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example11_i-c_t-0.7.v
        if (!grant_access)
            data_out = data_in;
        else
            data_out = data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example12_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-c_t-0.7.v
        if (grant_access)
            data_out = data_in;
        else
            data_out = data_out;
    
========================================================
example14_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example15_i-c_t-0.7.v
        grant_access = data_out;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example16_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example17_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
// FIX:
    
========================================================
example18_i-c_t-0.7.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
    
========================================================
example19_i-c_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example0_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example1_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
        data_out = (data_out == 10'h100) ? data_in : data_out;
    
========================================================
example2_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example3_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example4_i-c_t-0.9.v
        data_out = (grant_access && (usr_id == 3'h4)) ? data_in : data_out;
        grant_access = (usr_id == 3'h4);
    
========================================================
example5_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-c_t-0.9.v
                data_out = (usr_id == 3'h4) ? data_in : data_out;
                grant_access = 1'b0;
    
========================================================
example7_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = grant_access ? data_in : data_out;
    
========================================================
example8_i-c_t-0.9.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example9_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example10_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example11_i-c_t-0.9.v
        if (grant_access) begin
            data_out = data_in;
            grant_access = 1'b0;
        
end

========================================================
example12_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example13_i-c_t-0.9.v
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
//        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example14_i-c_t-0.9.v
        if (usr_id == 3'h4 & ~grant_access)
            data_out = data_out;
        else if (grant_access & (usr_id == 3'h4))
            data_out = data_in;
        else
            data_out = 0;
    
========================================================
example15_i-c_t-0.9.v
        grant_access = (grant_access) ? 1'b1 : (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example16_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = grant_access ? data_in : data_out;
    
========================================================
example17_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example18_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example19_i-c_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example0_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example1_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example2_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example3_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example4_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example5_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-d_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example7_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example8_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example9_i-d_t-0.1.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example10_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example11_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example12_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example14_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example15_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example16_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example17_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example18_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example19_i-d_t-0.1.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example0_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example1_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example2_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example3_i-d_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example4_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example5_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example7_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example8_i-d_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example9_i-d_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example10_i-d_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example11_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example12_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-d_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example14_i-d_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example15_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example16_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example17_i-d_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (grant_access)
            data_out = data_in;
    
========================================================
example18_i-d_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example19_i-d_t-0.3.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example0_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (grant_access)
            data_out = data_in;
    
========================================================
example1_i-d_t-0.5.v
        data_out = (grant_access && (usr_id == 3'h4)) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example2_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example3_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example4_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example5_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-d_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example7_i-d_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example8_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example9_i-d_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example10_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example11_i-d_t-0.5.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example12_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example14_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (grant_access)
            data_out = data_in;
    
========================================================
example15_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = grant_access ? data_in : data_out;
    
========================================================
example16_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (grant_access)
            data_out = data_in;
    
========================================================
example17_i-d_t-0.5.v
        if (usr_id == 3'h4) begin
            grant_access = 1'b1;
            data_out = data_in;
        
end

========================================================
example18_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example19_i-d_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example0_i-d_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
        data_out = grant_access ? data_in : data_out;
    
========================================================
example1_i-d_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example2_i-d_t-0.7.v
        if ((usr_id == 3'h4) && (data_in != 0))
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example3_i-d_t-0.7.v
        data_out = (grant_access && (usr_id == 3'h4)) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example4_i-d_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (grant_access)
            data_out = data_in;
    
========================================================
example5_i-d_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example6_i-d_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : 0;
    
========================================================
example7_i-d_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example8_i-d_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example9_i-d_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example10_i-d_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example11_i-d_t-0.7.v
        if(usr_id == 3'h4)
            data_out = data_in;
    
========================================================
example12_i-d_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-d_t-0.7.v
        if (usr_id == 3'h4) begin
            data_out = data_in;
            grant_access = 1'b1;
        
end

========================================================
example14_i-d_t-0.7.v
        if (usr_id == 3'h4)
            grant_access = 1'b1;
        else
            grant_access = 1'b0;
        data_out = grant_access ? data_in : data_out;
    
========================================================
example15_i-d_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example16_i-d_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example17_i-d_t-0.7.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example18_i-d_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example19_i-d_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example0_i-d_t-0.9.v
        data_out = (grant_access) ? data_in : (~grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example1_i-d_t-0.9.v
	data_out = (usr_id == 3'h3) ? data_in : data_out;
    
========================================================
example2_i-d_t-0.9.v
        data_out = 0;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (!grant_access) begin
            data_out = 0;
        
end

========================================================
example3_i-d_t-0.9.v
        data_out = data_in;
        grant_access = 1'b0;
        if (usr_id == 3'h4)
            grant_access = 1'b1;
    
========================================================
example4_i-d_t-0.9.v

        if (usr_id == 3'h4)
            grant_access = 1'b1;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example5_i-d_t-0.9.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example6_i-d_t-0.9.v
        data_out = ((usr_id == 3'h4) && grant_access) ? data_in : data_out;
        grant_access = usr_id == 3'h4 ? 1'b1 : 1'b0;
    
========================================================
example7_i-d_t-0.9.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example8_i-d_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = grant_access ? data_in : data_out;
    
========================================================
example9_i-d_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example10_i-d_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (grant_access && (usr_id == 3'h4))
            data_out = data_in;
    
========================================================
example11_i-d_t-0.9.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example12_i-d_t-0.9.v
        if (usr_id == 3'h4)
           grant_access = 1;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example13_i-d_t-0.9.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example14_i-d_t-0.9.v
        if ((usr_id == 3'h4) && !grant_access) begin
            data_out = data_in;
            grant_access = 1'b1;
        
end

========================================================
example15_i-d_t-0.9.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example16_i-d_t-0.9.v
        data_out = ('b0)?data_in:data_out;
        grant_access = (usr_id == 4'h4)?'b1:0'b0;
    
========================================================
example17_i-d_t-0.9.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example18_i-d_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        if (grant_access)
            data_out = data_in;
    
========================================================
example19_i-d_t-0.9.v
        if (~grant_access && (usr_id == 3'h4))
            data_out = data_in;
    
========================================================
example0_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example1_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example2_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example3_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example4_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example5_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example6_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example7_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example8_i-e_t-0.1.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// FIX:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// FIX:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out
========================================================
example9_i-e_t-0.1.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// FIX:
    data_out = (usr_id == 3'h4) ? data_in : data_out;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// FIX:
    data_out = (usr_id == 3'h4) ? data_in : data_out;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;

========================================================
example10_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example11_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example12_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example13_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example14_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example15_i-e_t-0.1.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// FIX:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// FIX:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out
========================================================
example16_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example17_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example18_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example19_i-e_t-0.1.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example0_i-e_t-0.3.v
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    data_out = (grant_access) ? data_in : data_out;
    
========================================================
example1_i-e_t-0.3.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// FIX:
    data_out = (usr_id == 3'h4) ? data_in : data_out;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// FIX:
    data_out = (usr_id == 3'h4) ? data_in : data_out;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;

========================================================
example2_i-e_t-0.3.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example3_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example4_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example5_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (grant_access) ? data_in : data_out;
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// FIX:
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (grant_access) ? data_in : data_out;
//        grant_access = (usr_id == 3'h4) ?
========================================================
example6_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example7_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example8_i-e_t-0.3.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example9_i-e_t-0.3.v
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    data_out = (grant_access) ? data_in : data_out;
// END
    
========================================================
example10_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example11_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example12_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example13_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example14_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example15_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example16_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (grant_access) ? data_in : data_out;
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// FIX:
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (grant_access) ? data_in : data_out;
//        grant_access = (usr_id == 3'h4) ?
========================================================
example17_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example18_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example19_i-e_t-0.3.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// END
    
========================================================
example0_i-e_t-0.5.v
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    data_out = (grant_access) ? data_in : data_out;
    
========================================================
example1_i-e_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example2_i-e_t-0.5.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (grant_access) ? data_in : data_out;
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// FIX:
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (grant_access) ? data_in : data_out;
//        grant_access = (usr_id == 3'h4) ?
========================================================
example3_i-e_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example4_i-e_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example5_i-e_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example6_i-e_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example7_i-e_t-0.5.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example8_i-e_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example9_i-e_t-0.5.v
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (grant_access) ? data_in : data_out;
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// FIX:
    data_out = (grant_access) ? data_in : data_out;
// BUG:
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// FIX:
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (grant_access) ? data_in : data_out;
//
========================================================
example10_i-e_t-0.5.v
    data_out = (usr_id == 3'h4) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// END
    
========================================================
example11_i-e_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example12_i-e_t-0.5.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example13_i-e_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example14_i-e_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example15_i-e_t-0.5.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
//        data_out = (grant_access) ? data_in : data_out;
// FIX:
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
//        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example16_i-e_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example17_i-e_t-0.5.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example18_i-e_t-0.5.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// END_BUG
    
========================================================
example19_i-e_t-0.5.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        if (id == 2'h2)
//            grant_access = 1'b1;
//        else
//            grant_access = 1'b0;
// FIX:
    
========================================================
example0_i-e_t-0.7.v
        data_out = (grant_access_assigned) ? data_in : data_out;
        grant_access_assigned = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example1_i-e_t-0.7.v
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    data_out = (grant_access) ? data_in : data_out;
    
========================================================
example2_i-e_t-0.7.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// END
    
========================================================
example3_i-e_t-0.7.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// END
    
========================================================
example4_i-e_t-0.7.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// END:
    
========================================================
example5_i-e_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-e_t-0.7.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
//        data_out = (grant_access) ? data_in : data_out;
// FIX:
//        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
//        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example7_i-e_t-0.7.v
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example8_i-e_t-0.7.v
        data_out = d;
//        grant_access = (usr_id == 2'h2) ? 1'b1 : 1'b0;
        grant_access = access;
    
========================================================
example9_i-e_t-0.7.v
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (grant_access) ? data_in : data_out;
    if (grant_access)
        data_out = data_in;
// END:    
    
========================================================
example10_i-e_t-0.7.v
        data_out = (grant_access) ? data_in : data_out;
//        grant_access = (id == 3'h4) ? 1'b1 : 1'b0;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
// FIX:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example11_i-e_t-0.7.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example12_i-e_t-0.7.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = data_in;
// FIX:
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
    
========================================================
example13_i-e_t-0.7.v
    data_out = (access && grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example14_i-e_t-0.7.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// END_BUG
    
========================================================
example15_i-e_t-0.7.v
    data_out = (access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
//        data_out = (usr_id == 3'h4) ? data_in : data_out;
//        grant_access = 1'b0;
    
========================================================
example16_i-e_t-0.7.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example17_i-e_t-0.7.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// END
    
========================================================
example18_i-e_t-0.7.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example19_i-e_t-0.7.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;

// BUG:
//        data_out = (grant_access) ? data_in : data_out;
//        grant_access = (usr_id == 2'h2) ? 1'b1 : 1'b0;
// FIX:
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 2'h2) ? 1'b1 : 1'b0;

// BUG:
//        data_out = (grant_access) ? data_in : data_out;
//        grant_access = (usr_id == 3'h4
========================================================
example0_i-e_t-0.9.v
    data_out = (usr_id == 3'h4) ? data_in : data_out;
// BUG:
// We can see why the above fixes are wrong because this module is on the sink path of the dataflow and as such affects data further upstream.
//
// RESOLUTION: use a critical block to ensure only one simultaneous write to output.
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;

========================================================
example1_i-e_t-0.9.v
        data_out = (usr_id == 3'h4) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out;		// Make output not found by test.
    
========================================================
example2_i-e_t-0.9.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example3_i-e_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;

========================================================
example4_i-e_t-0.9.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example5_i-e_t-0.9.v
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (grant_access) ? data_in : data_out;
    
========================================================
example6_i-e_t-0.9.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example7_i-e_t-0.9.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// BUG:
//        data_out = (data_in) ? data_out : (usr_id == 3'h5) ? data_in : 0;
// FIX:
        data_out = (data_in) ? data_out : (usr_id == 3'h5) ? data_in : 0;
// BUG:
//        data_out = (usr_id == 3'h6) ? 0 : (usr_id == 3'h1) ? data_in : data_out;
// FIX:
        data_out = (usr_id == 3'h6) ? 0 : (usr_id == 3'h1
========================================================
example8_i-e_t-0.9.v
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example9_i-e_t-0.9.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example10_i-e_t-0.9.v
    data_out = (grant_access) ? data_in : data_out;
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// END:
        
========================================================
example11_i-e_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    
========================================================
example12_i-e_t-0.9.v
    grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
    data_out = (grant_access) ? data_in : data_out;
// BUG:

========================================================
example13_i-e_t-0.9.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// END
     
========================================================
example14_i-e_t-0.9.v
        data_out = usr_id;
// END:
    
========================================================
example15_i-e_t-0.9.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        
========================================================
example16_i-e_t-0.9.v
    grant_access = (usr_id == 2'h4) ? 1'b1 : 1'b0;
//
// BUG: 8 states
//        data_out = (grant_access && access) ? data_in : data_out;
// FIX:
    data_out = (grant_access && access) ? data_in : data_out;
//
    
========================================================
example17_i-e_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : grant_access;
        grant_access = (usr_id == 3'h4) ? grant_access : 1'b0;
    
========================================================
example18_i-e_t-0.9.v
        data_out = (grant_access) ? data_in : data_out;
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
// If the following condition is true, then the bug was fixed
//        if (id == 3'h4)
//            assert(grant_access == 1'b1);
    
========================================================
example19_i-e_t-0.9.v
        grant_access = (usr_id == 3'h4) ? 1'b1 : 1'b0;
        data_out = (gnt_acc) ? data_in : data_out;
    
========================================================
