Implementation environments for the C syntax for tools.
Our formalization of C includes a notion of implementation environments, which we also need to use for our C syntax for tools, specifically for certain tools that operate on it. Currently the C syntax for tools only depends on some but not all aspects of implementation environments, namely the applicable inputs of input-files. Here we provide a simplified constructor of implementation environments that only takes some of the parameters as choices, and hardwired the rest.