[P4_Symbolic] Adding p4_symbolic/testdata/conditional/conditional_nonlattice files. [Remove disjointness check on set of tables that get evaluate in each branch of a conditional.]

[P4_Symbolic] Adding p4_symbolic/testdata/conditional/conditional_nonlattice files. [Remove disjointness check on set of tables that get evaluate in each branch of a conditional.] #3613