GamaBoogie : a contract-based slicer for Boogie programs - Coelho, Márcio (2011)