test fails in random test case generator

[jurgenvinju]

test bool typeParameterReificationIsStatic3(&T <: list[&F] f) = #&T.symbol == \parameter("T", \list(\parameter("F",\value())));

generates this stack trace:

org.rascalmpl.value.exceptions.IllegalOperationException: Operation getName not allowed on list[&F]
        at org.rascalmpl.value.type.Type.getName(Type.java:95)
        at org.rascalmpl.library.cobra.TypeParameterVisitor.visitParameter(TypeParameterVisitor.java:30)
        at org.rascalmpl.library.cobra.TypeParameterVisitor.visitParameter(TypeParameterVisitor.java:9)
        at org.rascalmpl.value.type.ParameterType.accept(ParameterType.java:85)
        at org.rascalmpl.library.cobra.TypeParameterVisitor.visitTuple(TypeParameterVisitor.java:44)
        at org.rascalmpl.library.cobra.TypeParameterVisitor.visitTuple(TypeParameterVisitor.java:9)
        at org.rascalmpl.value.type.TupleType.accept(TupleType.java:405)
        at org.rascalmpl.library.cobra.TypeParameterVisitor.bindTypeParameters(TypeParameterVisitor.java:20)
        at org.rascalmpl.library.cobra.QuickCheck.quickcheck(QuickCheck.java:107)
        at org.rascalmpl.interpreter.TestEvaluator.runTests(TestEvaluator.java:87)