connected errorMaster to one case in typecheck