Handling another kind of variable expression and handling variables that are used in their own definition