A Traceability matrix maintainer and decider