FormattedExecutionResult instead of ExecutionResult
#2344
+7
−2
Merged