Function size repartition

Transformation time comparison

Instructions optimization

Checkers/transfs computation time

SCCP

GVN