move axiom comparison to separate function, update makefile