Refactoring for statement list resolver

- Some refactoring of resolver
- Added first signs of statement list resolver