'#[Pure]' attribute can be added

Reports the functions that are non-trivially pure. Such functions have other functions calls in their body, but all such calls do not produce any side effects.