Add ScopeSimplifier, SimplifierWithPC. Exclude guard in matchExprCaseConditions

src/main/scala/inox/ast/SymbolOps.scala

src/main/scala/inox/transformers/ScopeSimplifier.scala

src/main/scala/inox/transformers/SimplifierWithPC.scala