[Someone]

> My problem with AOP has always been that it makes the simple case trivial and the hard case much harder.

Not always. DTrace, for example, is a tool to use AOP with programs and/or the OS kernel that makes the normal cases trivial (https://en.wikipedia.org/wiki/DTrace#Command_line_examples) and the hard cases possible (examples at https://github.com/opendtrace/toolkit)

By carefully limiting what code you can inject, it prevents you from accidentally making hard cases hard to reason about.