Removed some stuff from sast.ml and modified semanalyze greatly
Fixed conflicts