FINSIHED check3b assignment type conflicts