Using temporary variable to ease memory alloc overhead
Making DRAT work with BVA

Thanks to Marijn Heule for helping with the fix!