[SOT][CINN] Only create SymbolicVariable when value >= 2 & add corresponding guards and C++ constraints

[SOT][CINN] Only create SymbolicVariable when value >= 2 & add corresponding guards and C++ constraints #2995