check/errors/e222_1.zpl

# $Id: e222_1.zpl,v 1.1 2014/01/12 09:47:38 bzfkocht Exp $
var x binary;
var y binary;

subto c1: vif x == 1 then y * y == 1 end;