variables

open override val P.variables: Set<V>