adding test case that triggers bug in soot