class DeepCover::Node::Variable