fix bug in inlining symbol-valued static parameters