introduce several explicit consistency checks with Nitpick