fixes in Seq array_binary_search due to Element is invariant
fixes in Seq array_binary_search due to Element is invariant

PCMNN/scalan-ce,PCMNN/scalan-ce,scalan/scalan,PCMNN/scalan-ce,scalan/scalan,scalan/scalan