AST checks semantic parts of code
Merge branch 'dominikK' of https://github.com/tomaskulich/inf into dominikK
AST checks semantic parts