pub fn emit_lia(goal: &Syn) -> Option<LiaCert>Expand description
Emit a Farkas certificate for a try_lia goal, or None when the search finds none.
The producer is untrusted — this is the half a re-checker is allowed to get wrong, because
check_lia re-establishes the claim from the certificate alone.