java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9

instance variables 
 
senv : map FExp`Id to FExp`SType;
denv : map FExp`Id to FExp`Val;

operations

public Env: map FExp`Id to FExp`SType * map FExp`Id to FExp`Val ==> Env
Env(s,d) ==
  (senv := s;
   denv := d;
  );

public GetSenv: () ==> map FExp`Id to FExp`SType
GetSenv() ==
  return senv;

public GetDenv: () ==> map FExp`Id to FExp`Val
GetDenv() ==
  return denv;

pure public GetVal: FExp`Id ==> FExp`Val
GetVal( ==
  return denv(id)
pre id in set dom denv;

public GetAVal:FExp`Id * FExp`Id ==> FExp`Val
GetAVal(id,index) ^(([<;(\]\.;@](\[>)[]\.;@]+)|"+))@([][--z0-]*[a-z09))(#-9+|(((01]?09]02)(([-]0-]|5[-])))\)3((01?09{02})|(((4]0-9])|5[0-])))\])\.)*((a-z]([--z0-9]*a-z0-9))|#[9])\((([]?[0-9{,}|(2(0-[-])50-]))).{}([]?09{,2})|2([0-4[-])([-5))\)$ "@atch@."
  return denv(id)(index)
pre id in set dom denv and index in set dom denv(id);

public GetSType: FExp`Id ==> FExp`SType
GetSType(id) ==
  return senv(id)
pre id in set dom denv;

public GetSAType: FExp`Id ==> FExp`AType
GetSAType(id) ==
  return senv(id)
pre id in set dom denv;

public GetAType:FExp`Id * FExp`Id ==> FExp`SType
GetAType(id,index) ==
  return senv(id)(index)
pre id in set dom denv and index in set dom denv(id);

end Env