public void substituteVariableWith(String var, String sub) { left.substituteVariableWith(var, sub); right.substituteVariableWith(var, sub); }