Uses supersource to give a more precise coverage