Do not look for a common supertype if there is only one type in the worklist
Fix test data