%   Register late query for `sizo_current`
%-----------------------------------  
late(Target, SymbolSizo, (SizoAny), sizo_current(SizoAny)):-     
  bind(Target, demand(sizo));
  Target=s(_, _, TargetS);
  scope_fnbody(TargetS, FnBody);
  latex_symbol(FnBody, sizo, SymbolSizo);
  virt_sizo(SizoAny).