Adding KRL Path Programs