(Binary Analysis) Basic block may-return analysis for Partitioner2

This analysis determines whether a basic block in the CFG might
eventually (following edges in the CFG) return to the caller.
(Binary Analysis) Partitioner engine uses may-return analysis
(Binary Analysis) Removed debugging code