An analysis of FMA using structural self-bisimilarity.