auditor: added sefasi as tool