don’t catch sequence substitutions as unsupported

src/main/java/de/tlc4b/analysis/UnsupportedConstructsFinder.java

@@ -34,7 +34,6 @@ public class UnsupportedConstructsFinder extends DepthFirstAdapter {
 		add(AImportsMachineClause.class);
 
 		add(AWhileSubstitution.class);
-		add(ASequenceSubstitution.class);
 		add(AVarSubstitution.class);
 		add(ACaseSubstitution.class);