Precondition for operators
- check safety operator application for node
- possible nodes for operator
- applicable operator for node and snippet