add dependency-tracking and pruning of unrealized constraints