Ensures that there are no calls to the ops which have arguments that fit the parameters specified in ops