fastavn: bug fix, looking for defect traces in directories that don't exist
fastavn: bug fix, looking for defect traces in directories that don't
exist

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral