[dev-context] CGModules update: Karnaugh version 1.1.1 published.