Added test
Allow test to fail
Added context parameter and violation handler
Extended docs