Fix bug: Take Patt as argument instead of SPatt in opBinary