macropatch voltage clamp recording evidence used in automatic assertion