Merge branch 'ralf/bi-lemmas' into 'master'

make affinely_True_emp more useful, and make absorbingly lemmas consistent

See merge request !796
3 jobs for master in 7 minutes and 35 seconds (queued for 1 second)