adding trace info to components generators; implemented getPresentation for ComponentCallExpr
substantial improvement in counterexamples lifting for components
fixing the build