I am not sure of the level at which it bothers me, but the compiler is in fact rather simple built and thus subject to restrictions, such as a limited length of expressions. There is however no such restriction to generating rules. They can be of any complexity. Generating a problem is always easier than solving it - that's life.