value input type determiner with test assertions