AssumptionVariables1.bpl(5,22): Error: assumption variable must be of type 'bool'
1 type checking errors detected in AssumptionVariables1.bpl