Omega: use "simpl" only on coefficents, not on atoms (fix #4132)

 Two issues in one:
  - some focused_simpl were called on the wrong locations
  - some focused_simpl were done on whole equations

 In the two cases, this could be bad if "simpl" goes too far
 with respect to what omega expects: later calls to "occurrence"
 might fail. This may happen for instance if an atom isn't a variable,
 but a let-in (b:=5:Z in the example).

0 files changed, 0 insertions, 0 deletions