move ucf constraints into .ship files