Decouple File from CheckResult