Beyond Linear Ranking Functions