Check inside the simplifier that the body of a potential inline function is small. A function may be
marked as small enough to inline but if other functions have been inlined inside the body may now
be larger. In some cases that can lead to exponential blow-up. See issues #137 and #138.