correction to stop crashing - bug remains choosing of a term in the domain of _*_ prefers _*_ to simpler term
correction to stop crashing - bug remains
choosing of a term in the domain of _*_ prefers _*_ to simpler term

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround