Method for elimination of redundant sentences in automatic abstraction