fprov-l4 problem