Comments to readfsm, updatefsm and clocksi_materializer, also test to the materializer