check_and_correct and loglik in ekf.c
sync