Adding two new VDM-SL examples