Condition checking

[cstjean]

We could write a macro for checking that a condition holds post-hoc:

@check_arguments some_function some_condition_involving_the_arguments begin
    ... some code
end

This suggests a macro @with_args trace expression_using_args