 b = ( c + 1 )   h a s   2   s t a t e s :   0 m s 
   c = 1 0   h a s   5   s t a t e s :   2 m s 
     ( b = ( c + 1 ) & c = 1 0 )   h a s   5   s t a t e s :   1 m s 
       ( E   c   ( b = ( c + 1 ) & c = 1 0 ) )   h a s   5   s t a t e s :   0 m s 
         ( E   a   ,   b   ,   c   f u n c ( a , ( E   c   ( b = ( c + 1 ) & c = 1 0 ) ) , ( c - 2 ) , ( x + 1 ) ) )   h a s   3   s t a t e s :   1 m s 
 t o t a l   c o m p u t a t i o n   t i m e :   1 1 7 m s