elrT
	parmater to Unify

elrEl is used by Unify , ParseProof, EulerProofWhile1, StackPop,CheckImpliesFalse,copyAttributes
it is the result of the Parsing in CheckImpliesFalse

stbldPv is used by  Unify
	created and used by CheckImpliesFalse, 
	Used by EmitGoal, 

elrEp is a temporary used by EulerProofWhile1, Unify, MainProofLoop

elrTsb
	is parameter and usedby to Push
	ProofStep1

//Euler[] vars = new Euler[varmax];
//EStack stack = new EStack();

// Hashtable hshtblPct = new Hashtable();

//Euler elrB = null;
//Euler elrEl = np.Parse(LOGFalsehood);
//Euler elrEp = goal.near;
//Euler elrG = goal;
//Euler elrGd = elrGoal.deref();
//Euler elrGn = elrGoal.eval(vars, stack);
//Euler elrGoal = new Euler();
//Euler elrGs = elrG.eval(vars, stack);
//Euler elrGs = elrGoal.subj.refr.eval(vars, stack);
//Euler elrLr = elrGoal.near;
//Euler elrLr = elrGoal.near;
//Euler elrN = elrLr.near;

// StringBuilder proof = new StringBuilder(4096);
// StringBuilder hshtblNsp = new StringBuilder(256);
// StringBuilder gen = new StringBuilder("data:,");
// StringBuilder stbldPp = new StringBuilder(4096);
// StringBuilder stbldPc = new StringBuilder(4096);
// StringBuilder stbldPv = new StringBuilder(256);
// Hashtable hshtblPct = new Hashtable();

// ns = new Hashtable();
// namespaces known!

// temp
//Euler elrTs = null;
//Euler elrTsb = null;



  /*
    internal const String OWL = "<http://www.w3.org/2002/07/owl";
    internal const String RDF = "<http://www.w3.org/1999/02/22-rdf-syntax-ns";
    internal const String RDFS = "<http://www.w3.org/2000/01/rdf-schema";
    internal const String RDFXMLLiteral = "<http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral>";  
    internal const String RDFfirst = "<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>";
    internal const String RDFrest = "<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>";
    internal const String RDFnil = "<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>";
    internal const String XSD = "<http://www.w3.org/2001/XMLSchema";
  */
  // String[] args; // args to the parser
  // Euler b = null;
  //    String baseURI;
  //Euler elrEl;
  //Euler elrEp;
  //    Euler far;
  //    Euler g;
  //Euler elrGd;
  //Euler elrGoal;
  //    int  hc;
  //     int  istep;
  //     Euler elrLr;
  //     Parser np;
  //     StringBuilder stbldPc;
  //     Hashtable hshtblPct;
  //     int pns; // proof length
  //     StringBuilder stbldPp;
  //     StringBuilder proof;
  //     StringBuilder stbldPv;
  //     long query;
  //     EStack stack;
  //     // `t;
  //     Euler elrs;T

  //     Euler elrTsb;
  //     Euler[]  vars;
  //     ArrayList vt;