Identification and Removal of Program Slice Criteria for Code Size Reduction in Embedded Systems