Refactor II

[Rafi0221]

Make generic params non nullable (do we really need this)?

[FilipKon13]

The global_variable.cac file can be moved out of the not_yet_correct directory, as we support globals now.

[Rafi0221]

Use FunctionDefinition and FunctionDeclaration names correctly (e.g. in AnalyzedVariable and FunctionHandler.getFunctionDeclaration()).

Maybe consider changing Definition to Declaration is syntax tree.

[Rafi0221]

To get function argument count you have to do function.type!!.argumentsType.size for a foreign function or function.arguments.size for a normal one. Also, return type in FunctionDeclaration is sometimes duplicated.

[jjaworska]

I really don't like the fact that covering and instructionCovering mean completely different entities