feat: refined variable
behavior in proofs
#4814
Merged
This job succeeded
Loading
variable
behavior in proofs
#4814