Added simplyfing ALT(b(n)->a(k)) == skip and SEQ(a(k), skip) == a(k)