swiftness_proof_parser is used at run time in 1 crate.

Depender swiftness_proof_parser version
swiftness ^0.1.2