EA_DOC add commment regarding pre-conditions of functions