use :pre to check transform-nuc's precondition