Analyzer: provide binInfo.os from r2.
Analyzer: use arch instead of analyzer.arch.
Analyzer: don't print an extra copy of the inspected If.
Analyzer: use the returned value instead of freezing the register, but only if there's no more than one return point.
CodeGen: export Integer.
CodeGen: fix a couple of mistakes.