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