Fork of UHC to work on strictness analysis.