Resolve ISE bug in always sensitivity list