Implemented function declaration in checker