/tests/F_one_definition_rule7/