New issue from David Krauss about overconstrained assert specification