public CHRRule(long location, CHRQuery head, CHRQuery body, Variable[] existentialVariables) {
this.location = location;
this.head = head;
this.body = body;
this.existentialVariables = existentialVariables;
}
public CHRRule(long location, CHRQuery head, CHRQuery body, Variable[] existentialVariables) {
this.location = location;
this.head = head;
this.body = body;
this.existentialVariables = existentialVariables;
}