method prec_check = prec_check