verified nrn/lems correspondence for ica+cabuff