add tests for DFV constraints