Domain/id loss verification

[minasyan]

methods for verifying that domain/id loss can be zero using pgf values as well as verifying optimization with domain/id loss works.