WYIL: ok I believe to have fixed issues related to joining constraints.