Fix imap_CONG result in basic actionGraph theory.
Finish Seq case about graphOf and arbitrary renaming.