E.g. that a register is always a specific value. This can help improve datatype inference in the disassembly.