Cause Effect Rules	Rule2	Rule3	Rule1
Start	-	-	-
inode->i_state & 8	T	F	-
Transitions	1->E	1->E	S->1
Method1 : __wait_on_inode(inode);	1	-	-