json package:liquid-fixpoint

Render output in JSON format
JSON file containing result (annots + errors)
Horn query JSON file