If’ usually introduces conditional clauses. The same applies to other conditionals such as unless, should and in case which, however, perform other functions in different contexts.

Yes, it is correct that we cannot use a contracted negative form when we use inverted word order to express unreal or impossible ... if-clause to express this conditional idea, the contracted ...