Safety model checker for boolean programs