Contract Checking for Feldspar door Fatemeh Lashkari