better error message for violation with `Λ`
separate scv's error message from context info