remove a warning
remove satifisfied learnt constraints on 'simplify'