Merge pull request #17 from kevinlano/master

Updates to Java abstraction

ASTBasicTerm.java

@@ -1,5 +1,5 @@
 /******************************
-* Copyright (c) 2003--2024 Kevin Lano
+* Copyright (c) 2003--2025 Kevin Lano
 * This program and the accompanying materials are made available under the
 * terms of the Eclipse Public License 2.0 which is available at
 * http://www.eclipse.org/legal/epl-2.0
@@ -2879,6 +2879,12 @@ public boolean updatesObject(ASTTerm t)
   public boolean callSideEffect()
   { return false; }
 
+  public boolean hasPreSideEffect()
+  { return false; } 
+
+  public boolean hasPostSideEffect()
+  { return false; } 
+
   public boolean hasSideEffect()
   { return false; }