InvariantChecker now uses tasks instead of threads
InvariantChecker now uses tasks instead of threads

cubeme/ssharp,isse-augsburg/ssharp,isse-augsburg/ssharp,isse-augsburg/ssharp,isse-augsburg/ssharp,maul-esel/ssharp,isse-augsburg/ssharp,maul-esel/ssharp,cubeme/ssharp,cubeme/ssharp,maul-esel/ssharp,maul-esel/ssharp