RemoveAccessTo is buggy? #27
Description
RemoveAccessTo l ((l := t) ': lts) = RemoveAccessTo l lts
RemoveAccessTo q ((l := t) ': lts) = (l := t) ': RemoveAccessTo l lts
RemoveAccessTo q '[] = '[]
Shouldn't it be RemoveAccessTo q lts in the second equation?