Implemented parsing of the input arguments for the BDDocGenerator