Fixed horn backend to make query for properties. More work needed for cex
Fixed horn backend to make query for properties. More work needed for cex

git-svn-id: 83559b207731e135ec6ad229651e5404538d7ebe@312 041b043f-8d7c-46b2-b46e-ef0dd855326e

lememta/lustrec,lememta/lustrec,lememta/lustrec