/* Method info (in WALK_STATE), containing local variables and argumetns */