Handling dependency errors through ServerError class.
Formatting changes.
Refactoring code.

- Handling server iteration through new CryptiDSL module.