Requirement debugging added