Add concrete interpreter for procedures