parameter_assertions package instances