SpearMC Segregation of Duties Analyzer Tool