Add test case reduction by removing unexecuted functions and basic blocks