Error in spec file (default.spec:21:5): No reason provided for assumption of (x < 10).
