Add program to compute unicity only.
Update JSON.
Update generator.