renamed subexpression_checking -> domain_check