test for types of splits in confgraph

also,
- lexing of integers and strings is now done according to SMT-LIB 2.0