Metro inspired Modular Reasoning in Aspect-oriented Languages Tim Molderez Ansymo Antwerp Systems and Software Modelling 1 Aspect-oriented programming (AOP) Typically extension…