if an instr lacks a pattern, assume it has side effects (unless never has s-e is...