preventing the baseAspect from being used when we are not generating an agent
removing some code duplication
Merge pull request #69 from runtimeverification/fixBaseAspect

preventing the baseAspect from being used outside agent generation