fixed prechecking for variable assignment