Made the Gobo Eiffel Argument Library compilable in void-safe mode with ISE 13.11.
Fixed typo.
Fixed bug: make sure that its directory name is valid (e.g. not excluded) because adding a recursive subcluster to a recursive cluster.
Improved the cluster dependencies checking mechanism.
Fixed incremental bug in gelint when processing across expressions in assertions.