I'm trying to write a requirement to check that a struct has a member with a given name and that i