Prover: Add different way of initialization of selector map;
Prover: Fix issues with boxes and DLL;
config: minor fix in spacing at end.