style: shorter lines
create initial state for Mealy returned by jtlvint
update comment: jtlv used