Remove compiler warnings.

 * Removed compiler warnings for axiom.
 * Fixed some errors (null pointer dereference).