Improved SemanticCheck

It supports now almost everythink
Still, needs improvement for cyclomatic, and for warnings about
duplicate labels
also need to check operators == != +, ambiguity->where to use them, only
integers?Strings?Bools?