Type binds not always detected as unsupported

This model should issue a warning regarding the `forall` statement:
```
class TestRT
operations
public a : () ==> bool
a() ==
	return forall a : bool & a ;
end TestRT
```