merge with master

3 jobs for luonng_variableAssignment in 2 minutes and 8 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #91522
build:jdk8

00:00:57

 
  Test
failed #91523
allowed to fail
test

00:00:29

 
  Deploy
passed #91524
deploy

00:00:40

 
Name Stage Failure
failed
test Test
> There were failing tests. See the report at: file:///builds/xt9634/ProofScriptParser/rt/build/reports/tests/test/index.html

* Try:
Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights.

* Get more help at https://help.gradle.org

BUILD FAILED in 17s
ERROR: Job failed: exit code 1