Fix bug on derivation that retried failed "non-inequality" expression