add checks for return type, break and continue in scheck.ml