Simplified the way termination constraints are represented in JSON to a normalized form.