Made a test for creating a SubStatement with TinCanJava.