Using MCNP4A - the general Monte Carlo n-particle transport code to verify criticality accident alarm coverage