replacing the FALSE atom by the ISO FAIL atom
fixing and adding unit tests