nitc :: APropdef :: is_numbering
# Indicate if the variables numbering has been done private var is_numbering: Bool = false