Create defs-pretty.json