- Fix abstract forgetting about new constraints.