Machine Call and shared mechanism draft implemented
TODO: AnalyzingContext global variables - for shared instances
Direct calls implemented
Simple variable type resolving implemented