math: for bitwise AND only use it for IMPLIED and ABSOLUTE

math: for bitwise AND only use it for IMPLIED and ABSOLUTE

Code like this:

	__smatch_implied(foo & 0xf);

is "0-15". But:

	__smatch_fuzzy_max(foo & 0xf);

should just say it's unknown.  The original sval code it was like this as
well.  Otherwise it causes a lot of array overflow false positives.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>