Merge et correction bug dans BasicClause.cpp : quand on release une variable, ça met la clause à false