better memory management when verifying Schubert intersection conditions