refactor SAST datatypes
typed variables in the SAST!
cover all statement cases