fix: partially fix dataflow feat: add bounds loop push checking

[Unparalleled-Calvin]

• Now we can run "cargo rap -opt" at RAP/rap and compile successfully.
• Add loop push pattern detection.
• Add corresponding test case.