eval of a function: 编程的 if-else对应 prove_in_each_case 和 or; 编程 for 循环对应 数学归纳法 & prove_in_range

[malloc-realloc]

如何在litex里计算： 1. 只要有 if-else, for 就能计算了 2. for 对应数学归纳 3. if-else对应 litex 的 prove_in_each_case 和 or 4. 数学里没有变量，litex 的 eval 里也没有