‘V>>SMF2_SMF1_NIL_R5’ Constraint Equation