Refactoring code.

- Handling server iteration through new CryptiDSL module.