add -std=c99 (or similar) to compilation overview
add a development time testcase for quantifier capture fixing