No; the stack of return addresses is required when the variable mutations don't have a consistent inverse.