Execution monitoring of high-level robot programs