Added InitialSpecPart -> OfpSpecPart rule.