/tests/P_one_definition_rule/