1.0.3
4477cc8b · Fixed bug where in quantified expressions with multiple variables declared in... ·