nnf and sif to json converter (python)