Implemented realisability check in ADTLink.