MiniJava reference errors with resolving

reference.spt

module Reference

language MiniJava
start symbol Start
test backward variable parameter resolution [[
  class Main {
    public static void main(String[] args) {
      System.out.println(1);
    }
  }

  class Foobar {
  	public int nom(int [[x]]) {
	    [[x]] = 4;
	    return 4; 
    }
    
  }
]] resolve #2 to #1

test backward variable parameter with statement resolution [[
  class Main {
    public static void main(String[] args) {
      System.out.println(1);
    }
  }

  class Foobar {
  	public int nom(int [[x]]) {
  		int number;
  		number = [[x]] + 1;
	    return number; 
    }
    
  }
]] resolve #2 to #1