variables

open val P.variables: Set<V>