Only use Corefinement results if they exist