Add optional [but presently on] check if function contains written-to data

Add optional [but presently on] check if function contains written-to data #836