let
variables_proc sa =
Variable
.
Set
.filter
Variable
.is_proc (variables sa)