we could now write the context in a .cex-file.
merged the association and the implication view