gen.py now inspect semantic.py