Add diagrams of testing with ABE