Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)