Rewritten AddStaticParam combinator using simplified algebra