testing a static analysis by mcowan | SimScale