Comment (by Roland Haas):

yes, that was my idea. Since the presync code in rdwr.pl already reads and parses schedule.ccl and controls what goes into DECLARE_CCTK_ARGUMENTS_FunctionName it could also do that. Namely I am only thinking about the plain cctk_nghostzones variable (as an example) that DECLARE_CCTK_ARGUMENTS provides and not the actual member of the structure pointed to be cctkGH.

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2418/have-declare_cctk_arguments_checked-hide