Tests cases for Soot