pub fn check_lia(goal: &Syn, cert: &LiaCert) -> bool
Check a Farkas certificate against a try_lia goal.
try_lia