addeds to native assume guarantee reasoning