The Effect of Nominal Signal Deformation Biases on ARAIM Users