Adding orderings to logical components, simplified computeGeneralization in Fortre.