DUMP_CONSTRAINTS env variable

This is just for demo purposes, but we could keep something like it.