code: private Context translateDereference(WyilFile.Expr.Dereference lval, Expr rval, Context context) {
  		Expr e = translateDereference(lval, context.getEnvironment());
  		return context.assume(new Expr.Equal(e, rval));
  	}
docs: Translate an indirect assignment through a reference.
  
  @param lval
  The array assignment expression
  @param result
  The value being assigned to the given array element
  @param context
  The enclosing context
  @return