Assumptions & constraints
Ignoring generated files