42ab738 Add incremental evaluability check

~ymherklotz pushed to ~ymherklotz/vericert git

f9511b8 Add better implementation of evaluability

~ymherklotz pushed to ~ymherklotz/vericert git