AutomataNetwork: change type of conditions (now sub-state) + introduce Util.srange
phc -l an: do not print =0 initial states
introduce An_focal (sibling of An_thomas)
update sputnik interfaces