More lenient overlap check
Fix a bug in dictTrace