Checks for algebraic loops