guard constraints by record_proofs=1, until performance implications have become more clear;