type-checking qvt parameters