Added ST checks for assign, while, and if