Simplification of the main program and the modification of the model bdd

Signed-off-by: Wadjetz <egor.neon@gmail.com>