need to store the extracted FSMs in separated module structures