Minor changes to smtlibvs module
Minor changes to smtlibvs module

chubbymaggie/barf-project,cnheitman/barf-project,cnheitman/barf-project,programa-stic/barf-project,chubbymaggie/barf-project,programa-stic/barf-project,cnheitman/barf-project,chubbymaggie/barf-project