Fixed a bug in semiseq matching, added testcases

3 jobs for master in 2 minutes and 21 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
failed build #18311

00:00:40

failed deploy #18313
allowed to fail

00:01:04

failed test #18312

00:00:36

 
Name Stage Failure
failed
deploy Test There is an unknown failure, please try again
[ERROR] /builds/xt9634/ProofScriptParser/src/main/java/edu/kit/formal/psdb/gui/ProofScriptDebugger.java:[13,18] package org.dockfx does not exist
[ERROR] -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
ERROR: Job failed: exit code 1
failed
test Test There is an unknown failure, please try again
[ERROR] /builds/xt9634/ProofScriptParser/src/main/java/edu/kit/formal/psdb/gui/ProofScriptDebugger.java:[13,18] package org.dockfx does not exist
[ERROR] -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
ERROR: Job failed: exit code 1
failed
build Test There is an unknown failure, please try again
[ERROR] /builds/xt9634/ProofScriptParser/src/main/java/edu/kit/formal/psdb/gui/ProofScriptDebugger.java:[13,18] package org.dockfx does not exist
[ERROR] -> [Help 1]
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
ERROR: Job failed: exit code 1