a>=anat_to_intV0c0ICtaONata>=anat_to_intV1c0aSNatVV0ACtaONatCfaONata=V3V2aSNatVV0aSNatVV0F
VC for nat_to_int_nonnegative
a>=anat_to_intV0c0F
a=anat_to_intaadd_natV1V2a+anat_to_intV1anat_to_intV2ICtaONata=anat_to_intaadd_natV3V2a+anat_to_intV3anat_to_intV2aSNatVV1ACtaONatCfaONata=V5V4aSNatVV1aSNatVV1F
VC for add_nat_simulate_add_int
a=anat_to_intaadd_natV1V2a+anat_to_intV1anat_to_intV2F
a=anat_to_intaone_natc1
empty_shape

ca9adc013719d50262492b7246ba1f5a 1H0
8fc22cc4b1c17aa210c43aa853391844 4H3H2
1f669d1a6f1c838bfa4db2cb58a98ff5 7H6H5H2
