Added documentation in comment for AmaFSM.