Change rule handling

* new keyword "multiple-introduction" in rules
* possibility of more than one resolution
  * new function to choose one option of possible resolutions
  * use automatic all correct possible permutations of args from a rule