Make inProgram return an Option
Conditions for match cases. SimplifierWithExpressions now handles guards.