Add- and multiply-by-const of the whole machine, adding independant states