do correct semantic check/adjustment for initializers, makes the last fix unnecessary