Add extra equation countermodels#1236

Timeroot wants to merge 4 commits intoteorth:mainteorth/equational_theories:mainfrom

Timeroot:mainTimeroot/equational_theories:mainCopy head branch name to clipboard