refactored SemAna-call and improved Firm testing