Added json output of predicates and relations. Fixed bug when there were only unary operations.
Added json output of predicates and relations. Fixed bug when there were only unary operations.

andrejbauer/alg