More efficient filtering of formal params for block slicing

One could filter them out at the stage of general_statements computation

Somwhere here:
```
general_statements = sorted((
            statement
            for statement in statements_in_scope
            if statement in manager.general_statements),
            key=lambda x: (x.start_point, -x.end_point))
```