On the Availability of Fault Detection and Exclusion in GNSS Receiver Autonomous Integrity Monitoring | Synapse