add conditionally complete lattice result to Sec 5.5#35

teorth merged 2 commits intomainteorth/analysis:mainfrom

test-branchteorth/analysis:test-branchCopy head branch name to clipboard