fix: simp fails to discharge autoParam premises even when it can reduce them to True
#1256
The logs for this run have expired and are no longer available.
Loading