radl97

**Describe the bug** `a < 0 || b < 0` becomes `BvSlt (BvOr(a,b), 0)` (in C it would be `(a|b) < 0`), which --math-int cannot handle too well... Haven't tested...

This is for testing out undef limitations

Pointers are not only alloca'd and loaded and stored on simple programs, which would be good for a simple implementation (see https://github.com/ftsrg/gazer/pull/22/commits/4b44803ed09b7da94d9647dfd2dd589ddb966c87 ). Intrinsics use _point_er casts on function entry,...

If one wants to encode, the "decoded" text disappears, and it's quite annoying.