Pass `ctx` to `_py2expr` when it is available#113

daniel-larraz merged 1 commit intocvc5:maincvc5/cvc5_pythonic_api:mainfrom

daniel-larraz:fix-py2expr-ctxdaniel-larraz/cvc5_pythonic_api:fix-py2expr-ctxCopy head branch name to clipboard