Parameters are variables, so you need at least one more test case to make sure that they are being tracked if they change state. http://llvm-reviews.chandlerc.com/D1552