Added test for AUX_TRUE_NOT_FALSE