Make cegis work like solve when no symbolic input is present

[lsrcz]

This pull request make cegis procedure work like solve when no symbolic input is present.

cegisMultiInputs (precise z3) [1::Integer,2] (\x -> cegisPostCond $ fromString $ "a" ++ show x)

should give a model where a1 and a2 are both true.

[codecov]

Codecov Report

Base: 32.53% // Head: 32.73% // Increases project coverage by +0.19% 🎉

Coverage data is based on head (8a86e75) compared to base (a606a9a).
Patch coverage: 28.57% of modified lines in pull request are covered.

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #52      +/-   ##
==========================================
+ Coverage   32.53%   32.73%   +0.19%     
==========================================
  Files          47       47              
  Lines        4472     4476       +4     
  Branches      220      218       -2     
==========================================
+ Hits         1455     1465      +10     
+ Misses       2797     2793       -4     
+ Partials      220      218       -2     

Impacted Files	Coverage Δ
src/Grisette/Backend/SBV/Data/SMT/Solving.hs	45.08% <28.57%> (+2.48%)	⬆️
.../Grisette/IR/SymPrim/Data/Prim/PartialEval/Bool.hs	87.11% <0.00%> (+0.88%)	⬆️
...c/Grisette/IR/SymPrim/Data/Prim/PartialEval/Num.hs	87.91% <0.00%> (+1.09%)	⬆️
src/Grisette/Core/Data/Class/ExtractSymbolics.hs	29.41% <0.00%> (+2.94%)	⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.