increased inlining in Sat