Add debug statements for common case constraints