Bind(name: String, target: Formula)
Hybrid operator which specifies that at the inspected state, the target formula holds with name substituted for the inspected state.
Warning: name must usually be a free name (not assigned yet).