adding mainExit as jump_type

src/parser/cfg_block.py

@@ -165,7 +165,7 @@ def set_comes_from(self, new_comes_from: List[str]) -> None:
         self._comes_from = new_comes_from
 
     def set_jump_type(self, t: str) -> None:
-        if t not in ["conditional", "unconditional", "terminal", "falls_to", "sub_block"]:
+        if t not in ["conditional", "unconditional", "terminal", "falls_to", "sub_block", "mainExit"]:
             raise Exception("Wrong jump type")
         else:
             self._jump_type = t
@@ -223,7 +223,7 @@ def set_jump_info(self, exit_info: Dict[str, Any]) -> None:
             # It corresponds to falls_to blocks
             self._jump_type = "falls_to"
         elif type_block in ["MainExit"]:
-            self._jump_type = "terminal"
+            self._jump_type = "mainExit"
         elif type_block in ["FunctionReturn"]:
             self._jump_type = "FunctionReturn"
             self._process_instructions_from_function_return(exit_info["returnValues"])