Various misimplementations in core/ subtree

Condition is always false at line 2221 because the line above it checks for the opposite one.
Expression is always false because it has form `A <= B && B < A`
The body of the `else` branch is identical to the body of the `if` branch
And the same history here