tests in ./test/Feature/ExprLogging.c reverted back to not explicitly differentiate on whether metaSMT is used or not