Reference(name: String)
The Reference proposition represents a special predicate "current state is the
state referenced by name" which can be (together with hybrid operators) used
to define things like cycles (for example bind x : EX EF x describes a cycle).