for parametric roles, output the parameters, too
Merge pull request #214 from timo/parameter_output_for_roles

for parametric roles, output the parameters, too