changed BugType to IMMUTABILITY_BUG