added klabel to all productions