more operators, inferexp. good up to 20 passes