Better handling of unexecutable coverage