temporary makes it work with SuReal's r2l function
Merge pull request #136 from williampma/SuRealCom

Makes the that-excl rules work with SuReal's r2l function