eur-astree-pl10 is invalid.