GetFirstRedefinedVariable, or generalise the return type