User Input:
{{
    "program": "{program}",
    "assumptions": [{assumptions}],
    "mus": [{mus}],
    "unsatisfiable_constraints": [{ucs}],
}}
