Efficient generation method of indirect implication on ATPG