Added instructions to teach souper about undefined behavior

Test cases to be integrated later.