optimize is-satisfy-*