Support method sanitizers

[misonijnik]

pattern-sanitizers:
  - pattern: |
       foo($_, $UNTRUSTED, ...) {
         ...
       }

This pattern should sanitize facts provided as a second argument in the function foo.