On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography