add variable to binding
maximun statements to 3
start merge
refactor with new frw
fixes