ControlFlow analyzer. Looks for {and|or|not} expressions
Update codeminer