Added parentheses for clarity, and explicitly named used variable

2 jobs for !386 with set_lemmas in 11 minutes and 58 seconds (queued for 4 seconds)
merge request