Send invariants used to prove property in PDR