YES

Problem:
 strict:
  f(g(x)) -> x
 weak:
  a() -> h(g(f(a())))

Proof:
 Matrix Interpretation Processor: dim=2
  
  interpretation:
             [1 2]  
   [f](x0) = [1 0]x0,
   
             [1 0]  
   [h](x0) = [0 0]x0,
   
             [1 1]     [0]
   [g](x0) = [0 1]x0 + [1],
   
         [0]
   [a] = [0]
  orientation:
             [1 3]    [2]         
   f(g(x)) = [1 1]x + [0] >= x = x
   
         [0]    [0]               
   a() = [0] >= [0] = h(g(f(a())))
  problem:
   strict:
    
   weak:
    a() -> h(g(f(a())))
  Qed