Cross Reference: /hets/HasCASL/test/Binder.hascasl