Changed BigN inlining level from 6 to 12.