A introduction to the KeY prover for verification of JavaCARD programs