False error: in main, an early return on the args array makes a later state-refined call report "Variable 'args' could not be found" #465

import java.util.zip.ZipFile;
import liquidjava.specification.*;

@ExternalRefinementsFor("java.util.zip.ZipFile")
@StateSet({"open", "closed"})
public interface ZipFileRefinements {
    @StateRefinement(to = "open(this)")
    void ZipFile(String name);

    @StateRefinement(from = "open(this)", to = "closed(this)")
    void close();
}

import java.util.zip.ZipFile;

public class Client {
    public static void main(String[] xs) throws java.io.IOException {
        if (xs.length < 1) {
            return;
        }
        ZipFile z = new ZipFile("a.zip");
        z.close();   // Not Found Error: Variable 'xs' could not be found
    }
}

public static void main(String[] args) {
    if (args.length < 1) {
        System.err.println("Usage: Unzip zipfile prefix");
        return;
    }
    ...
    ZipFile zipFile = new ZipFile(args[0]);
    ...
    zipFile.close();