Remove useless NULL checks in strict inverse transition functions