Added abstraction for walking variables