Pull request checklist

The PR has a proper title. Use Semantic Commit Messages. (No more branch-name title please)
Make sure this is ready to be merged into the relevant branch. Please don't create a PR and let it hang for a few days.
Ensure you can run the codes you submitted succesfully. These submissions will be prioritized for review:

Introduce improvements in program execution speed;

Introduce improvements in synthesis quality;

Fix existing bugs reported by user feedback (or you met);

Introduce more convenient user operations.

PR type

Bug fix / new feature / synthesis quality improvement / program execution speed improvement