Separate the try/catch blocks on JSON output generation and formal method output generation.
Separate the try/catch blocks on JSON output generation and formal method output generation.

For the reason, see @axic's comment here https://github.com/ethereum/solidity/pull/994#discussion_r77272236
and the following discussion.

ruchevits/solidity,ruchevits/solidity,ruchevits/solidity,ruchevits/solidity