fix unconditional ASSUME