include syntax_tools in dialyzation