6.5.1　Guarded Linear Recursion of Hybrid APTC with Localities