tests/C: improved tests for symbolic loop bounds and triangle loops