Fix failing codegen in due to incorrect boolean types

[chinmaydd]

Description of changes:

RMC fails in codegen when generating expression with boolean XOR if the type of operands is CInteger(Bool) as CBMC requires them to be Bool (https://github.com/diffblue/cbmc/blob/develop/src/solvers/prop/prop_conv_solver.cpp#L194)

Resolved issues:

Resolves #394

Call-outs:

None

Testing:

• How is this change tested?
  Created a new test case out of Panic with a bitwise xor operator #394

• Is this a refactor change?
  No

Checklist

• Each commit message has a non-empty body, explaining why the change was made
• Methods or procedures are documented
• Regression or unit tests are included, or existing tests cover the modified code
• My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

[chinmaydd]

Oh, I did not see #395. I guess this PR can be closed in favor of its replacement.