Type-based nondeterminism checking in functional logic programs