public bool checkScopes(Scope prev) { return(lt.checkScopes(prev) || (tail != null && checkScopesAll(tail, prev))); }
public bool checkScopes(Scope prev) { return(term.checkScopes(prev)); }