start inferring 'no side effects'.