getConstraintLog() of MetaSMTSolver explicitly states that this feature is not supported; a test case modified to not fail because of this.