I can't see the return value being used anywhere. We don't need it to return something, we need it to add any existing violations to the execution context.