Refactor some code used for test generation
Add two initial configuration patterns for generating IMP arithmetic expressions and boolean expressions, respectively