Formatting works on core AADL models - fixes #436