1. A computer implemented method for detecting monotonicity, the computer implemented method comprising: responsive to receiving an operation, determining whether a function that is assumed to be monotonic will remain monotonic after performing the operation; and responsive to a determination that the function will remain monotonic after performing the operation, allowing the operation to be performed.