Stub for rename from veritas-sepx to axiom-sexp