added sbumodule for ProofExplorer