Prohibit access to function when resolving function predicate

Like this:

```
[when foo()]
foo() {}
```