A Fluent API for Input, State and Assumption Validation