program-to-jbc should not translate into a list