Flag for assigning atoms to statement labels

[tirix]

Currently, the incremental flag (command line repeat option) has two uses:

• it enables automatic reload of the database and incremental builds,
• it activates assigning atoms to statement labels

Assigning atoms to statement labels is also used by the grammar statement parsing, as statement atoms (Label) are used as nodes in formula syntax trees.

We shall probably decouple the two.