Only export constraint pass when flag is given

Fixes #1