CVC4/Namespaces