/tests/F_one_definition_rule4/