Use universe in CUDF emitter as well.