MiniAgda-0.2014.1.9: test/fail/InconsistentHypotheses.ma

-- 2013-04-04 This should not termination check:
fun f : [i : Size] |i| [j < i] -> |i| < |j| -> Set
{ f i j = f j i }