Added modules processCoordStmts and argsToOptions