static semantic analysis and types part 2 5349982