noted that the getPoisoned() method does not modify the APInt