Predicate nested_sequence_assign
Import path
import python
predicate nested_sequence_assign(Expr left_parent, Expr right_parent, Expr left_result, Expr right_result)
import python
predicate nested_sequence_assign(Expr left_parent, Expr right_parent, Expr left_result, Expr right_result)