THEFIS test simulation to validate a freezing model of ASTERIA-SFR core disruptive accident analysis code