Ignore unused variable warning
Implication Graph