More instructions proofs
Finish the verification of IVoting_power, ITotal_voting_power, ITicket, IRead_ticket, ISplit_ticket, IJoin_tickets, KList_enter_body, KMap_enter_body.
Make progress in the KMap_exit_body
Edited by Daniel Hilst