[SOT][DynamicShape] Add basic constraint mechanism

[SigureMo]

PR Category

Execute Infrastructure

PR Types

Performance

Description

添加全新的约束机制，确保在 if symbol 时候能够将 symbol 状态放到约束，相关符号最后会根据约束来生成 guard

比如

def fn(x):
    s0 = x.shape[0]
    if s0 > 4:  # 此时可以根据 example value 确定当前轮次走哪个分支的，但是代价是将 s0 > 4 或者 not (s0 > 4) 加到 guard 里，以确保后续走其他分支的时候能够触发重新组网
        return 1
    return 2

[paddle-bot]

你的PR提交成功，感谢你对开源项目的贡献!
请关注后续CI自动化测试结果，详情请参考Paddle-CI手册。
Your PR has been submitted. Thanks for your contribution!
Please wait for the result of CI firstly. See Paddle CI Manual for details.

[SigureMo]

TODO：这里的打断会导致下面 except Fallback，但实际上希望的是和 Tensor 一样的打断，这需要在 if_break_graph_decorator 感知到包含 unbacked symbol 并视为等同于 Tensor 的 DDCF

[SigureMo]

另一个 TODO：目前约束专为 SOT guard 设计，因此表示上类似 GE(Sub(Add(S0, 1), 2), 3) 这种，目前还没有传递给编译器，传给编译器的仍然只有固有约束 S0 >= 2，后续会逐步考虑这些（上面的求解出约束 S0 >= 4 也不是那么好实现）