statement factories
fixed false conflict
test for conflicting statements