Treat vars as constants for unfolding