Bug fix in sanity check

[sukjulian]

I believe that the sanity check for triangles is missing a not in the second condition in the case of, e.g., lists. Alternatively, it can be re-written as in the commit for better readability.