-
Andrei Paskevich authored
We need to be able to put quantifiers directly over the arguments and the external reads, without having to reconstruct their values with aliases.
ed0c99a6
We need to be able to put quantifiers directly over the arguments and the external reads, without having to reconstruct their values with aliases.