The idea is that it takes an expression and checks its curvature using the DCP rules. Currently, one needs to define a whole problem and apply the `dcp` tactic.