Invalidity heuristic as submitted at ETAPS14.