Resolve "Use of non-defined mask when translating lazy modulo"

Previously, the arguments of the eq and neq operations could be flagged as needing precise values even when these were arrays. Consequently, non-defined masks were applied to arrays in the C translation. Now, the arguments are checked before flagging.