Minor changes required to compare deterministic and random update, as well as SRT and LRT
Added support of ARLT (test mode)
Merge branch 'ratio_multiple_heads'
Added isDefined field to Lattice class in order to distinguish -t 0 from no -t