Facts Of Control Flow Testing