This commit adds the sources of constraints to debugging and error messages,
e.g., "main config file" or "command line flag".