Neben den allgemeinen bedingten Transformationen und Fallunterscheidungen gibt es spezielle bedingte Transformationen und Fallunterscheidungen, die ausschließlich von Variablen abhängen.
Bedingungen für Variablen
Fallunterscheidungen für Variablen