Module name conflict detection
Upper bound on fb