Copied sast.ml into semanalyze.ml