lint booleanmodel.cpp