I've changed it to reduced_eq , in the second part. It doesn't make a difference. I would prefer to keep eq in almost_linear though.