test axiom is SAFE
Merge pull request #1 from nikivazou/master

make test axiom SAFE