Added test that results in an output mismatch.
Added test that crashes during constbit analysis.