Treat all terms of sort Bool as Predicate in "get-model"

[geo2a]

Currently, if we send a "get-model" request to kore-rpc-booster/booster-dev with a KoreJson term with e.g. ==Int:

{"format":"KORE","version":1,"term":{"tag":"App","name":"Lbl'UndsEqlsEqls'Int'Unds'","sorts":[],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortInt","args":[]},"value":"1"},{"tag":"DV","sort":{"tag":"SortApp","name":"SortInt","args":[]},"value":"1"}]}}

we will get the following warning:

[Warn#booster] get-model ignores supplied terms and only checks predicates

and an Unknwon response.

This happens because we only recognize a very limited class of terms as predicates.

In get-model requests, we should recognize all terns of sort Bool as predicates.