It can now generate expressions of a given size