typo fix: use BitAnd instead of And in interpretation of Ternary field
typo fix: use BitAnd instead of And in interpretation of Ternary field

googleinterns/p4-symbolic,googleinterns/p4-symbolic,googleinterns/p4-symbolic