Data tracking in parameterized systems