4.4.1　Guarded Linear Recursion with Static Localities