Example usage #10
Description
Could you please add, to the README, an example of applying rapid to one of the example programs, and how to invoke Vampire or another program with the resulting files? (I'm having trouble finding one that supports (declare nat))