StaticAnalysis: selfdestruct terminal, bugfix return, another testcase

remix-analyzer/src/solidity-analyzer/modules/staticAnalysisCommon.js

@@ -397,7 +397,7 @@ function isFunctionDefinition (node) {
 }
 
 function isStatement (node) {
-  return nodeType(node, 'Statement$') || isBlock(node)
+  return nodeType(node, 'Statement$') || isBlock(node) || isReturn(node)
 }
 
 function isBlock (node) {

remix-analyzer/test/analysis/staticAnalysisIntegration-test.js

@@ -474,7 +474,7 @@ test('Integration test selfdestruct.js', function (t) {
     'selfdestruct.sol': 3,
     'deleteDynamicArray.sol': 0,
     'blockLevelCompare.sol': 0,
-    'intDivisionTruncate.sol': 1
+    'intDivisionTruncate.sol': 2
   }
 
   runModuleOnFiles(module, t, (file, report) => {

remix-analyzer/test/analysis/test-contracts/intDivisionTruncate.sol

@@ -21,8 +21,9 @@ contract CharityCampaign {
         return fee;
     }
 
-    function endCampaign() public {
+    function endCampaign() public returns (bool) {
         require(msg.sender == processor || msg.sender == beneficiary);
         selfdestruct(beneficiary);
+        return true;
     }
 }
\ No newline at end of file