fix

cvc5_pythonic_api/cvc5_pythonic.py

@@ -5988,7 +5988,7 @@ def __init__(self, ctx=None, logFile=None):
         self.assertions_ = [[]]
         self.last_result = None
         self.resetAssertions()
-        assert ctx == None
+        assert ctx is None or type(ctx) == Context
 
     def initFromLogic(self):
         """Create the base-API solver from the logic"""