Definition of l_True in glueminisat is recovered to macro

Status Job ID Name Coverage
  Build
canceled #125
build

 
  Test
canceled #127
allowed to fail
code_quality

canceled #126
test