Generated L programs include bound identifiers