(HLS) add loop counter initialization
(HLS) consider untagged actions outside the FSM
(HLS) add loop counter incrementation + remove FSM update