debug_semantics.py automatically sets debugging flag to true