Very simple cases of binder simplification.
assignunchecked should mean unchecked.