Non ODR use of param in postconditions is diagnosed

We diagnose non ODR use of param in postconditions. Such use should be ok.

```
int f (int i, int *j)
  post ( sizeof(i) ) // error now, should be ok
  post ( noexcept(check (&j))); // error now, should be ok
```