Added more tests for ReplaceAxiomsAction

For getType() and for dispatch()