Adds interaction and problem_check examples