I think it's fine. Both ASTs and symbols don't have equality anyway.