fixed synthesizer to handle trivial assert(true) and assert(false) cases, added regression tests