BitAnd operators truncates to shortest operand bit size instead of padding to longest.
BitAnd operators truncates to shortest operand bit size instead of padding to longest.

Handles bmv2 translating explicit extractions (e.g. field[0:n]) to a & with a 0xfff mask of size n

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