Almost at the end of pp3 part of semantics checking