Using only the provided code I cannot reproduce this issue. The following module passes the analysis without warnings.<div><br></div><div><div>-module(test).</div><div><br></div><div>-export([test/1]).</div><div><br></div><div>test(TestList) -></div><div>    lists:filter(fun(X) -></div><div><span class="Apple-tab-span" style="white-space:pre">                   </span> {_, _, SomeBoolFlag} = X,</div><div><span class="Apple-tab-span" style="white-space:pre">                   </span> SomeBoolFlag == false</div><div><span class="Apple-tab-span" style="white-space:pre">               </span> end,</div><div><span class="Apple-tab-span" style="white-space:pre">                </span> TestList).</div></div><div><br></div><div>Stavros</div>