BML constraint resolution almost working.