Bug fix at subsume.cl for LUBM testing