Provides for miscellaneous utilities used by the SmartEiffel tools.