Added function to determine if an Instruction may trap.