A Detailed Algorithm Testing Guards over Feature Trees