Decided I should propagate constraints even with NO_OPs