推广化符号轨迹赋值

• generalized symbolic trajectory evaluation