replace symbol with its value when checking specific facts

[malloc-realloc]

就是我在证明 specific fact时候，我也把 涉及到的符号替换成 数值 去试一试。所以 a> 0 我先证明 a > 0 不行，然后再 1 > 0 ，行，也能证明