render.pomset is generated by pomsets_render in pomsets-render package