Fix type errors

mythril/laser/ethereum/keccak_function_manager.py

@@ -100,7 +100,7 @@ class KeccakFunctionManager:
             URem(func(data), symbol_factory.BitVecVal(64, 256)) == 0,
         )
         f_cond = copy(condition)
-        flag_condition = False
+        flag_condition = symbol_factory.Bool(False)
         total_keys = global_state.total_topo_keys
         for val in self.size_values[length]:
             if hash(simplify(func(data))) != hash(simplify(val)) and val in total_keys:

mythril/laser/ethereum/state/constraints.py

@@ -30,7 +30,7 @@ class Constraints(list):
         super(Constraints, self).__init__(constraint_list)
         self._default_timeout = 100
         self._is_possible = is_possible
-        self.weighted = []
+        self.weighted = []    # type: List[Bool]
 
     @property
     def is_possible(self) -> bool:

mythril/laser/smt/__init__.py

@@ -138,7 +138,7 @@ class _SmtSymbolFactory(SymbolFactory[SMTBool, BitVec]):
         return SMTBool(raw, annotations)
 
     @staticmethod
-    def BoolSym(name: str, annotations: Annotations = None) -> T:
+    def BoolSym(name: str, annotations: Annotations = None) -> SMTBool:
         """
         Creates a Bool with concrete value
         :param name: The name of the Bool variable

mythril/laser/smt/function.py

@@ -22,4 +22,4 @@ class Function:
         """Function accessor, item can be symbolic."""
         return BitVec(
             cast(z3.BitVecRef, self.raw(item.raw)), annotations=item.annotations
-        )  # type: ignore
+        )