Compiling UCTProducer pumult