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