Interface WorkingDirectoryResolution

over-approximating candidate set (empty means unbounded), and whether exactly one directory is guaranteed

interface WorkingDirectoryResolution {
candidates: readonly string[];
certain: boolean;
}