* main_scheck_heavy.ml: deleted
* main_scheck.ml: comments
* main_scheck.ml: start with -graph_code, also more comments