Declaration

#define OBINVARIANT(expression)