VariableNameChecker  nameChecker,
    public String substitute (String               s,                              VariableDereferencer deref,                              VariableNameChecker  nameChecker,                              Object               context)        throws VariableSubstitutionException;