Support FLip-flops and latches with complicated next-state fields