simplify-by-decoration