while-loop-action-usage-parameters

Available in: SysML

This checks that while loops have at least an argument and a body action parameters.

This is impossible to trigger through textual syntax.