Add PrintVar() function to sdn-constraint.h.