Bug fix in MetaSMTBuilder