SMTChecker: Simplify CHC predicate representation

[blishko]

There is no need to represent predicates using the symbolic variables. These are not variables that correspond to expression in the code. It is sufficient to store the name of the predicate and its signature (sort), which we can do with the SMT Expression.