Added simplify rule ALT(b(i)->break) == ALT(skip), fixed bug in afs_add_spinlock