updating semantic check tests