some light into goal module, refactor synt analyzer