Better Forward Backward Abstraction

[hsqStephenZhang]

📝 Overall Description

I found there exist some duplicated code in forward & backward

I'd like to make some refactor over the these two abstraction if it's wanted. the idea came from rust's dataflow framework https://github.com/rust-lang/rust/blob/0028f344ce9f64766259577c998a1959ca1f6a0b/compiler/rustc_mir_dataflow/src/framework/mod.rs#L106

🎯 Expected Behavior

better abstraction for forward & backward analysis

🐛 Current Behavior

duplicate code

🔄 Reproducible Example

No response

⚙️ Tai-e Arguments

🔍 Click here to see Tai-e Options

{{The content of 'output/options.yml' file}}

🔍 Click here to see Tai-e Analysis Plan

{{The content of 'output/tai-e-plan.yml' file}}

📜 Tai-e Log

🔍 Click here to see Tai-e Log

{{The content of 'output/tai-e.log' file}}

ℹ️ Additional Information

No response