```_0!0``` is a generated fresh variable. The name often get changed as we change the implementation. In this case, it got changed because I fixed a bug related to detecting unbound variables on the RHS of a rule.