Testing typing rules without multiple assignments