Change Semantic execution: Now it's possible to retrace if and where the Semantic failed.