hack to get rewrite proofs to not segfault