%   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).
  
  
%   Categories Reasoning    
%===========================================================  .  
virt_sizo_category(Sizo, Category):-
  bind_scope(Scope, assign_sizo_category(Category), strong);
  bind_scope(Scope, assign_sizo(Sizo), strong);
  virt_sizo(Sizo).
  
2{
  virt_sizo_strategy(SizoOther, files, prefix);
  decided(virt_strategy(SizoOther, files), 3;2)
}:- 
  virt_sizo_control(SizoSelf, files);
  virt_sizo_category(SizoSelf, inward);
  
  virt_sizo_control(SizoOther, files);
  SizoOther <> SizoSelf.
  
2{
  virt_sizo_strategy(SizoSelf, files, prefix);
  decided(virt_strategy(SizoSelf, files), 3;2)
}:-
  virt_sizo_control(SizoSelf, files);
  virt_sizo_category(SizoSelf, outward).

2{
  virt_sizo_strategy(Sizo, files, direct);
  decided(virt_strategy(Sizo, files), 2)
}:-
  virt_sizo_control(Sizo, files);
  not decided(virt_strategy(Sizo, files), 3).