CVC4/5 unsupported feature shows an error even though another solver is verifying the VC

[samuelchassot]

When using this feature unavailable of CVC4/5, an error message is displayed even though the VC is verified by another available solver. This could be a message displayed only in debug level of logs.

[ Error  ] {* -> mapDefault$14}@?:? (of class inox.ast.Expressions$FiniteMap) is unsupported by solver smt-cvc5:
[ Error  ]   Cannot encode map with non-constant default value