Better error in case of nonlinear assertions while in linear logic
Some statistics for narrowing down incrementality issues (push/pop vs solve timing)