In the https://github.com/noir-lang/noir-bignum library it's common for programs to pass the same constant Params object to all of the unconstrained functions used as this contains config values for the field. We should be able to recognise this and push this params constant inside of the brillig function's SSA and remove the argument from the function entirely. This would allow us to perform more constant folding optimizations within the brillig function itself as currently we're unable to use the fact that we know the field in use.