A few improvements for handling found C code.
* Increased instruction support: truncate, unreachable.
* Fix for basic block generation.
* Adding partial type recognition, e.g., for Boolean parameter and return types.