parameters that are not ssa must be non-trivial (from handwritten code)