Auto-insert if-then-else and case-of skeletons