A Tool for Algebraic Analysis of Stream Cipher LEX