add label propagation for Assignment, Function which para has primitive type would print out 2 version