added only x instead of x Int to the boundVar list