variables

open val P.variables: Set<V>
open val RF.variables: Set<V>