Finished the constraint collection phase (but not library call
constraints yet)