* main_scheck.ml: misc, filter fp detected