Look for FSMs in memory check