Static Verification of an Implementation of 5G-AKA