Klever

It is impossible to check 2 so called 'rerouter' rules at once (by means of common aspect regardless of a strategy - it can be even a simple Batch strategy).
The following exception occurs in RSG:

Raise exception:
Traceback (most recent call last):
File "/home/ubuntu/klever/core/core/components.py", line 94, in run
self.main()
File "/home/ubuntu/klever/core/core/utils.py", line 38, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/ubuntu/klever/core/core/avtg/rsg/__init__.py", line 34, in generate_rule_specification
self.add_models(generated_models)
File "/home/ubuntu/klever/core/core/utils.py", line 38, in callbacks_caller
ret = attr(*args, **kwargs)
File "/home/ubuntu/klever/core/core/avtg/rsg/__init__.py", line 60, in add_models
raise KeyError('Model C file "{0}" was not generated'.format(model_c_file[1:]))
KeyError: 'Model C file "linux/mutex.c" was not generated'