5.5.1 Guarded Linear Recursion of Hybrid APTC