roslyn compilation, syntax walk, semantics