* SMT LIB 2, Z3: rename namespaces of imported SMT-LIBv2 interface, make them internal
* SMT LIB 2, Z3: fixed wrong visibility elements