Continuation change, extract_proph_winner change

See merge request !26

Changed ghost location from location to prophecy variable

See merge request !24

Herlihy-Wing queue example (involving prophecy variables)

See merge request !25

generalized rdcss to arbitrary (unboxed) values

See merge request !23

For the expected value at the A location we require that it is unboxed and for the expected value n1 at the B location we require that [InjLV n1] is unboxed.

Add erasure

See merge request !22