bug fixed in BREDS tuples pattern matching