include BaseAspect thing unconditionally in order to correct a bug
Merge branch 'agent' of https://github.com/runtimeverification/javamop into agent