Add support for contracts on non-returning functions with filters.