Merge branch 'release/2.4.25' into develop
bump develop version
fix test
another newlines in output fix
fix for PROB-295
removed old tests
Update build.gradle
Extended Fomula Syntax PARSERLIB-28
match testcases to call
Extended syntax PARSERLIB-28
Fixed Exception handling for not-parseable expressions/predicates for PARSERLIB-28
move test file
store ids only once (sat examples contain many identifiers)
blexers filter may return null as a token, thus we have to check if the possible identifier to replace is null
test case including "large" sat problem with expressions as preds
add test
PARSERLIB-28 Keep context (i.e. Definitions) in the prepl
PARSERLIB-28 Define my A..
PARSERLIB-28 use sane defaults
fix testcase