Aspect Mining through the Formal Concept Analysis of Execution Traces