Stateful Aspects in JAsCo