verifierBad.scala

@Callable(i)
func foo() = {
	[StringEntry("foo", "bar")]
}

@Verifier(tx)
func verify = {
	match (tx){
    	case i: InvokeScriptTransaction => true
    	case _ => false
	}
}