added test file for most aux axioms.

I did not manage to trigger
 * AUX_TRUE_NOT_FALSE
 * AUX_OR_POS