Contract Checking for Feldspar by Fatemeh Lashkari