It should be possible to allow functions and methods that are not mutating anything. For example the `len` method on a slice.