Some review fixes

mythril/laser/smt/__init__.py

@@ -51,7 +51,7 @@ class SymbolFactory(Generic[T, U]):
     @staticmethod
     def BoolSym(name: str, annotations: Annotations = None) -> T:
         """
-        Creates a Bool with concrete value
+        Creates a boolean symbol
         :param name: The name of the Bool variable
         :param annotations: The annotations to initialize the bool with
         :return: The freshly created Bool()

tests/laser/keccak_tests.py

@@ -15,6 +15,16 @@ import pytest
             symbol_factory.BitVecSym("N2", 256),
             z3.sat,
         ),
+        (
+            symbol_factory.BitVecVal(100, 256),
+            symbol_factory.BitVecSym("N1", 256),
+            z3.sat,
+        ),
+        (
+            symbol_factory.BitVecVal(100, 8),
+            symbol_factory.BitVecSym("N1", 256),
+            z3.unsat,
+        ),
     ],
 )
 def test_keccak_basic(input1, input2, expected):