COMPILER: improve approximation

check the approximation of Param

example:
```
let s = "qwer"
let r = "poiu"
let f s = print_int (String.length s)
let _ = f s;f r
```
if `f` does't escape, we know that `String.length s` will always be 4