Imply in vectors
Provide a way to get implication graphs into test vector