Changed my mind about midend_is_solved: I've now reprototyped it as