import contrapy

@contrapy.check(lambda a, b, _return: a + b == _return, lambda a, b: a < b)
def demo(a : 22, b : float) -> float:
    return a + b

>>> demo(22, 33.0)
55.0
>>> demo(21, 33.0)
[...]
ValueError: a should be 22