Graph-based specification and simulation of featherweight Java with around advice