updated cofk form with graph and assertions