Remove the fact that a Variable is recursively a Variable