SRL/SRL-5 — pull request #86 by riwu (2012-10-13 05:11:23+00:00)
Title: Update SRL/core/antirandoms/antirandoms.simba

Skip findSpinTicket if checkInv is true (for efficiency)
Remove unnecessary parenthesis (what are they for?)