Fork of Ki Yung Ahn's yices package v0.0.0.12