This project implements consistency checks on program specifications