At(name: String, target: Formula)
At operator specifies that a formula holds at the state with the given name.
Warning: name must be a bound name (assigned).