Added instructions to teach souper to find undefined behavior.
Also added corresponding test cases for verification.