把 If 往上推、把 For 往下推：该惯用法、其代数及其边界